;;; -*- mode: lisp; package:maxima; syntax:common-lisp; -*- saved by 
(dsksetq $resolcayley
         '((mplus simp) ((mexpt simp) $e2 12)
           ((mtimes simp) -16 $e1 ((mexpt simp) $e2 10) $e3)
           ((mtimes simp) 96 ((mexpt simp) $e1 2) ((mexpt simp) $e2 8)
            ((mexpt simp) $e3 2))
           ((mtimes simp) 32 ((mexpt simp) $e2 9) ((mexpt simp) $e3 2))
           ((mtimes simp) -256 ((mexpt simp) $e1 3)
            ((mexpt simp) $e2 6) ((mexpt simp) $e3 3))
           ((mtimes simp) -384 $e1 ((mexpt simp) $e2 7)
            ((mexpt simp) $e3 3))
           ((mtimes simp) 256 ((mexpt simp) $e1 4) ((mexpt simp) $e2 4)
            ((mexpt simp) $e3 4))
           ((mtimes simp) 1536 ((mexpt simp) $e1 2)
            ((mexpt simp) $e2 5) ((mexpt simp) $e3 4))
           ((mtimes simp) 384 ((mexpt simp) $e2 6)
            ((mexpt simp) $e3 4))
           ((mtimes simp) -2048 ((mexpt simp) $e1 3)
            ((mexpt simp) $e2 3) ((mexpt simp) $e3 5))
           ((mtimes simp) -3072 $e1 ((mexpt simp) $e2 4)
            ((mexpt simp) $e3 5))
           ((mtimes simp) 6144 ((mexpt simp) $e1 2)
            ((mexpt simp) $e2 2) ((mexpt simp) $e3 6))
           ((mtimes simp) 2048 ((mexpt simp) $e2 3)
            ((mexpt simp) $e3 6))
           ((mtimes simp) -8192 $e1 $e2 ((mexpt simp) $e3 7))
           ((mtimes simp) 4096 ((mexpt simp) $e3 8))
           ((mtimes simp) 32 ((mexpt simp) $e1 2) ((mexpt simp) $e2 9)
            $e4)
           ((mtimes simp) -56 ((mexpt simp) $e2 10) $e4)
           ((mtimes simp) -384 ((mexpt simp) $e1 3)
            ((mexpt simp) $e2 7) $e3 $e4)
           ((mtimes simp) 672 $e1 ((mexpt simp) $e2 8) $e3 $e4)
           ((mtimes simp) 1536 ((mexpt simp) $e1 4)
            ((mexpt simp) $e2 5) ((mexpt simp) $e3 2) $e4)
           ((mtimes simp) -1920 ((mexpt simp) $e1 2)
            ((mexpt simp) $e2 6) ((mexpt simp) $e3 2) $e4)
           ((mtimes simp) -1344 ((mexpt simp) $e2 7)
            ((mexpt simp) $e3 2) $e4)
           ((mtimes simp) -2048 ((mexpt simp) $e1 5)
            ((mexpt simp) $e2 3) ((mexpt simp) $e3 3) $e4)
           ((mtimes simp) -2560 ((mexpt simp) $e1 3)
            ((mexpt simp) $e2 4) ((mexpt simp) $e3 3) $e4)
           ((mtimes simp) 10752 $e1 ((mexpt simp) $e2 5)
            ((mexpt simp) $e3 3) $e4)
           ((mtimes simp) 12288 ((mexpt simp) $e1 4)
            ((mexpt simp) $e2 2) ((mexpt simp) $e3 4) $e4)
           ((mtimes simp) -15360 ((mexpt simp) $e1 2)
            ((mexpt simp) $e2 3) ((mexpt simp) $e3 4) $e4)
           ((mtimes simp) -10752 ((mexpt simp) $e2 4)
            ((mexpt simp) $e3 4) $e4)
           ((mtimes simp) -24576 ((mexpt simp) $e1 3) $e2
            ((mexpt simp) $e3 5) $e4)
           ((mtimes simp) 43008 $e1 ((mexpt simp) $e2 2)
            ((mexpt simp) $e3 5) $e4)
           ((mtimes simp) 16384 ((mexpt simp) $e1 2)
            ((mexpt simp) $e3 6) $e4)
           ((mtimes simp) -28672 $e2 ((mexpt simp) $e3 6) $e4)
           ((mtimes simp) 384 ((mexpt simp) $e1 4) ((mexpt simp) $e2 6)
            ((mexpt simp) $e4 2))
           ((mtimes simp) -1344 ((mexpt simp) $e1 2)
            ((mexpt simp) $e2 7) ((mexpt simp) $e4 2))
           ((mtimes simp) 1136 ((mexpt simp) $e2 8)
            ((mexpt simp) $e4 2))
           ((mtimes simp) -3072 ((mexpt simp) $e1 5)
            ((mexpt simp) $e2 4) $e3 ((mexpt simp) $e4 2))
           ((mtimes simp) 10752 ((mexpt simp) $e1 3)
            ((mexpt simp) $e2 5) $e3 ((mexpt simp) $e4 2))
           ((mtimes simp) -8960 $e1 ((mexpt simp) $e2 6) $e3
            ((mexpt simp) $e4 2))
           ((mtimes simp) 6144 ((mexpt simp) $e1 6)
            ((mexpt simp) $e2 2) ((mexpt simp) $e3 2)
            ((mexpt simp) $e4 2))
           ((mtimes simp) -15360 ((mexpt simp) $e1 4)
            ((mexpt simp) $e2 3) ((mexpt simp) $e3 2)
            ((mexpt simp) $e4 2))
           ((mtimes simp) -4352 ((mexpt simp) $e1 2)
            ((mexpt simp) $e2 4) ((mexpt simp) $e3 2)
            ((mexpt simp) $e4 2))
           ((mtimes simp) 18176 ((mexpt simp) $e2 5)
            ((mexpt simp) $e3 2) ((mexpt simp) $e4 2))
           ((mtimes simp) -24576 ((mexpt simp) $e1 5) $e2
            ((mexpt simp) $e3 3) ((mexpt simp) $e4 2))
           ((mtimes simp) 88064 ((mexpt simp) $e1 3)
            ((mexpt simp) $e2 2) ((mexpt simp) $e3 3)
            ((mexpt simp) $e4 2))
           ((mtimes simp) -70656 $e1 ((mexpt simp) $e2 3)
            ((mexpt simp) $e3 3) ((mexpt simp) $e4 2))
           ((mtimes simp) 24576 ((mexpt simp) $e1 4)
            ((mexpt simp) $e3 4) ((mexpt simp) $e4 2))
           ((mtimes simp) -94208 ((mexpt simp) $e1 2) $e2
            ((mexpt simp) $e3 4) ((mexpt simp) $e4 2))
           ((mtimes simp) 72704 ((mexpt simp) $e2 2)
            ((mexpt simp) $e3 4) ((mexpt simp) $e4 2))
           ((mtimes simp) 8192 $e1 ((mexpt simp) $e3 5)
            ((mexpt simp) $e4 2))
           ((mtimes simp) 2048 ((mexpt simp) $e1 6)
            ((mexpt simp) $e2 3) ((mexpt simp) $e4 3))
           ((mtimes simp) -10752 ((mexpt simp) $e1 4)
            ((mexpt simp) $e2 4) ((mexpt simp) $e4 3))
           ((mtimes simp) 18176 ((mexpt simp) $e1 2)
            ((mexpt simp) $e2 5) ((mexpt simp) $e4 3))
           ((mtimes simp) -10496 ((mexpt simp) $e2 6)
            ((mexpt simp) $e4 3))
           ((mtimes simp) -8192 ((mexpt simp) $e1 7) $e2 $e3
            ((mexpt simp) $e4 3))
           ((mtimes simp) 43008 ((mexpt simp) $e1 5)
            ((mexpt simp) $e2 2) $e3 ((mexpt simp) $e4 3))
           ((mtimes simp) -70656 ((mexpt simp) $e1 3)
            ((mexpt simp) $e2 3) $e3 ((mexpt simp) $e4 3))
           ((mtimes simp) 40960 $e1 ((mexpt simp) $e2 4) $e3
            ((mexpt simp) $e4 3))
           ((mtimes simp) 16384 ((mexpt simp) $e1 6)
            ((mexpt simp) $e3 2) ((mexpt simp) $e4 3))
           ((mtimes simp) -94208 ((mexpt simp) $e1 4) $e2
            ((mexpt simp) $e3 2) ((mexpt simp) $e4 3))
           ((mtimes simp) 149504 ((mexpt simp) $e1 2)
            ((mexpt simp) $e2 2) ((mexpt simp) $e3 2)
            ((mexpt simp) $e4 3))
           ((mtimes simp) -89088 ((mexpt simp) $e2 3)
            ((mexpt simp) $e3 2) ((mexpt simp) $e4 3))
           ((mtimes simp) 16384 ((mexpt simp) $e1 3)
            ((mexpt simp) $e3 3) ((mexpt simp) $e4 3))
           ((mtimes simp) 12288 $e1 $e2 ((mexpt simp) $e3 3)
            ((mexpt simp) $e4 3))
           ((mtimes simp) -40960 ((mexpt simp) $e3 4)
            ((mexpt simp) $e4 3))
           ((mtimes simp) 4096 ((mexpt simp) $e1 8)
            ((mexpt simp) $e4 4))
           ((mtimes simp) -28672 ((mexpt simp) $e1 6) $e2
            ((mexpt simp) $e4 4))
           ((mtimes simp) 72704 ((mexpt simp) $e1 4)
            ((mexpt simp) $e2 2) ((mexpt simp) $e4 4))
           ((mtimes simp) -89088 ((mexpt simp) $e1 2)
            ((mexpt simp) $e2 3) ((mexpt simp) $e4 4))
           ((mtimes simp) 48896 ((mexpt simp) $e2 4)
            ((mexpt simp) $e4 4))
           ((mtimes simp) 8192 ((mexpt simp) $e1 5) $e3
            ((mexpt simp) $e4 4))
           ((mtimes simp) 12288 ((mexpt simp) $e1 3) $e2 $e3
            ((mexpt simp) $e4 4))
           ((mtimes simp) -49152 $e1 ((mexpt simp) $e2 2) $e3
            ((mexpt simp) $e4 4))
           ((mtimes simp) -77824 ((mexpt simp) $e1 2)
            ((mexpt simp) $e3 2) ((mexpt simp) $e4 4))
           ((mtimes simp) 143360 $e2 ((mexpt simp) $e3 2)
            ((mexpt simp) $e4 4))
           ((mtimes simp) -40960 ((mexpt simp) $e1 4)
            ((mexpt simp) $e4 5))
           ((mtimes simp) 143360 ((mexpt simp) $e1 2) $e2
            ((mexpt simp) $e4 5))
           ((mtimes simp) -112640 ((mexpt simp) $e2 2)
            ((mexpt simp) $e4 5))
           ((mtimes simp) -40960 $e1 $e3 ((mexpt simp) $e4 5))
           ((mtimes simp) 102400 ((mexpt simp) $e4 6))
           ((mtimes simp) -96 $e1 ((mexpt simp) $e2 9) $e5)
           ((mtimes simp) 1152 ((mexpt simp) $e1 2)
            ((mexpt simp) $e2 7) $e3 $e5)
           ((mtimes simp) 160 ((mexpt simp) $e2 8) $e3 $e5)
           ((mtimes simp) -4608 ((mexpt simp) $e1 3)
            ((mexpt simp) $e2 5) ((mexpt simp) $e3 2) $e5)
           ((mtimes simp) -4096 $e1 ((mexpt simp) $e2 6)
            ((mexpt simp) $e3 2) $e5)
           ((mtimes simp) 6144 ((mexpt simp) $e1 4)
            ((mexpt simp) $e2 3) ((mexpt simp) $e3 3) $e5)
           ((mtimes simp) 25088 ((mexpt simp) $e1 2)
            ((mexpt simp) $e2 4) ((mexpt simp) $e3 3) $e5)
           ((mtimes simp) 2560 ((mexpt simp) $e2 5)
            ((mexpt simp) $e3 3) $e5)
           ((mtimes simp) -45056 ((mexpt simp) $e1 3)
            ((mexpt simp) $e2 2) ((mexpt simp) $e3 4) $e5)
           ((mtimes simp) -36864 $e1 ((mexpt simp) $e2 3)
            ((mexpt simp) $e3 4) $e5)
           ((mtimes simp) 106496 ((mexpt simp) $e1 2) $e2
            ((mexpt simp) $e3 5) $e5)
           ((mtimes simp) 10240 ((mexpt simp) $e2 2)
            ((mexpt simp) $e3 5) $e5)
           ((mtimes simp) -81920 $e1 ((mexpt simp) $e3 6) $e5)
           ((mtimes simp) -2304 ((mexpt simp) $e1 3)
            ((mexpt simp) $e2 6) $e4 $e5)
           ((mtimes simp) 3968 $e1 ((mexpt simp) $e2 7) $e4 $e5)
           ((mtimes simp) 18432 ((mexpt simp) $e1 4)
            ((mexpt simp) $e2 4) $e3 $e4 $e5)
           ((mtimes simp) -29184 ((mexpt simp) $e1 2)
            ((mexpt simp) $e2 5) $e3 $e4 $e5)
           ((mtimes simp) -1280 ((mexpt simp) $e2 6) $e3 $e4 $e5)
           ((mtimes simp) -36864 ((mexpt simp) $e1 5)
            ((mexpt simp) $e2 2) ((mexpt simp) $e3 2) $e4 $e5)
           ((mtimes simp) 8192 ((mexpt simp) $e1 3)
            ((mexpt simp) $e2 3) ((mexpt simp) $e3 2) $e4 $e5)
           ((mtimes simp) 70144 $e1 ((mexpt simp) $e2 4)
            ((mexpt simp) $e3 2) $e4 $e5)
           ((mtimes simp) 180224 ((mexpt simp) $e1 4) $e2
            ((mexpt simp) $e3 3) $e4 $e5)
           ((mtimes simp) -239616 ((mexpt simp) $e1 2)
            ((mexpt simp) $e2 2) ((mexpt simp) $e3 3) $e4 $e5)
           ((mtimes simp) 15360 ((mexpt simp) $e2 3)
            ((mexpt simp) $e3 3) $e4 $e5)
           ((mtimes simp) -212992 ((mexpt simp) $e1 3)
            ((mexpt simp) $e3 4) $e4 $e5)
           ((mtimes simp) 163840 $e1 $e2 ((mexpt simp) $e3 4) $e4 $e5)
           ((mtimes simp) 204800 ((mexpt simp) $e3 5) $e4 $e5)
           ((mtimes simp) -18432 ((mexpt simp) $e1 5)
            ((mexpt simp) $e2 3) ((mexpt simp) $e4 2) $e5)
           ((mtimes simp) 63488 ((mexpt simp) $e1 3)
            ((mexpt simp) $e2 4) ((mexpt simp) $e4 2) $e5)
           ((mtimes simp) -52736 $e1 ((mexpt simp) $e2 5)
            ((mexpt simp) $e4 2) $e5)
           ((mtimes simp) 73728 ((mexpt simp) $e1 6) $e2 $e3
            ((mexpt simp) $e4 2) $e5)
           ((mtimes simp) -243712 ((mexpt simp) $e1 4)
            ((mexpt simp) $e2 2) $e3 ((mexpt simp) $e4 2) $e5)
           ((mtimes simp) 220160 ((mexpt simp) $e1 2)
            ((mexpt simp) $e2 3) $e3 ((mexpt simp) $e4 2) $e5)
           ((mtimes simp) -61440 ((mexpt simp) $e2 4) $e3
            ((mexpt simp) $e4 2) $e5)
           ((mtimes simp) -180224 ((mexpt simp) $e1 5)
            ((mexpt simp) $e3 2) ((mexpt simp) $e4 2) $e5)
           ((mtimes simp) 442368 ((mexpt simp) $e1 3) $e2
            ((mexpt simp) $e3 2) ((mexpt simp) $e4 2) $e5)
           ((mtimes simp) -143360 $e1 ((mexpt simp) $e2 2)
            ((mexpt simp) $e3 2) ((mexpt simp) $e4 2) $e5)
           ((mtimes simp) 327680 ((mexpt simp) $e1 2)
            ((mexpt simp) $e3 3) ((mexpt simp) $e4 2) $e5)
           ((mtimes simp) -716800 $e2 ((mexpt simp) $e3 3)
            ((mexpt simp) $e4 2) $e5)
           ((mtimes simp) -49152 ((mexpt simp) $e1 7)
            ((mexpt simp) $e4 3) $e5)
           ((mtimes simp) 253952 ((mexpt simp) $e1 5) $e2
            ((mexpt simp) $e4 3) $e5)
           ((mtimes simp) -421888 ((mexpt simp) $e1 3)
            ((mexpt simp) $e2 2) ((mexpt simp) $e4 3) $e5)
           ((mtimes simp) 256000 $e1 ((mexpt simp) $e2 3)
            ((mexpt simp) $e4 3) $e5)
           ((mtimes simp) 155648 ((mexpt simp) $e1 4) $e3
            ((mexpt simp) $e4 3) $e5)
           ((mtimes simp) -757760 ((mexpt simp) $e1 2) $e2 $e3
            ((mexpt simp) $e4 3) $e5)
           ((mtimes simp) 512000 ((mexpt simp) $e2 2) $e3
            ((mexpt simp) $e4 3) $e5)
           ((mtimes simp) 614400 $e1 ((mexpt simp) $e3 2)
            ((mexpt simp) $e4 3) $e5)
           ((mtimes simp) 245760 ((mexpt simp) $e1 3)
            ((mexpt simp) $e4 4) $e5)
           ((mtimes simp) -409600 $e1 $e2 ((mexpt simp) $e4 4) $e5)
           ((mtimes simp) -1024000 $e3 ((mexpt simp) $e4 4) $e5)
           ((mtimes simp) 5504 ((mexpt simp) $e1 2)
            ((mexpt simp) $e2 6) ((mexpt simp) $e5 2))
           ((mtimes simp) -8000 ((mexpt simp) $e2 7)
            ((mexpt simp) $e5 2))
           ((mtimes simp) -44032 ((mexpt simp) $e1 3)
            ((mexpt simp) $e2 4) $e3 ((mexpt simp) $e5 2))
           ((mtimes simp) 56320 $e1 ((mexpt simp) $e2 5) $e3
            ((mexpt simp) $e5 2))
           ((mtimes simp) 88064 ((mexpt simp) $e1 4)
            ((mexpt simp) $e2 2) ((mexpt simp) $e3 2)
            ((mexpt simp) $e5 2))
           ((mtimes simp) 15360 ((mexpt simp) $e1 2)
            ((mexpt simp) $e2 3) ((mexpt simp) $e3 2)
            ((mexpt simp) $e5 2))
           ((mtimes simp) -121600 ((mexpt simp) $e2 4)
            ((mexpt simp) $e3 2) ((mexpt simp) $e5 2))
           ((mtimes simp) -450560 ((mexpt simp) $e1 3) $e2
            ((mexpt simp) $e3 3) ((mexpt simp) $e5 2))
           ((mtimes simp) 409600 $e1 ((mexpt simp) $e2 2)
            ((mexpt simp) $e3 3) ((mexpt simp) $e5 2))
           ((mtimes simp) 614400 ((mexpt simp) $e1 2)
            ((mexpt simp) $e3 4) ((mexpt simp) $e5 2))
           ((mtimes simp) -512000 $e2 ((mexpt simp) $e3 4)
            ((mexpt simp) $e5 2))
           ((mtimes simp) 88064 ((mexpt simp) $e1 4)
            ((mexpt simp) $e2 3) $e4 ((mexpt simp) $e5 2))
           ((mtimes simp) -279040 ((mexpt simp) $e1 2)
            ((mexpt simp) $e2 4) $e4 ((mexpt simp) $e5 2))
           ((mtimes simp) 224000 ((mexpt simp) $e2 5) $e4
            ((mexpt simp) $e5 2))
           ((mtimes simp) -352256 ((mexpt simp) $e1 5) $e2 $e3 $e4
            ((mexpt simp) $e5 2))
           ((mtimes simp) 1054720 ((mexpt simp) $e1 3)
            ((mexpt simp) $e2 2) $e3 $e4 ((mexpt simp) $e5 2))
           ((mtimes simp) -947200 $e1 ((mexpt simp) $e2 3) $e3 $e4
            ((mexpt simp) $e5 2))
           ((mtimes simp) 901120 ((mexpt simp) $e1 4)
            ((mexpt simp) $e3 2) $e4 ((mexpt simp) $e5 2))
           ((mtimes simp) -1945600 ((mexpt simp) $e1 2) $e2
            ((mexpt simp) $e3 2) $e4 ((mexpt simp) $e5 2))
           ((mtimes simp) 2048000 ((mexpt simp) $e2 2)
            ((mexpt simp) $e3 2) $e4 ((mexpt simp) $e5 2))
           ((mtimes simp) -2048000 $e1 ((mexpt simp) $e3 3) $e4
            ((mexpt simp) $e5 2))
           ((mtimes simp) 352256 ((mexpt simp) $e1 6)
            ((mexpt simp) $e4 2) ((mexpt simp) $e5 2))
           ((mtimes simp) -1720320 ((mexpt simp) $e1 4) $e2
            ((mexpt simp) $e4 2) ((mexpt simp) $e5 2))
           ((mtimes simp) 2764800 ((mexpt simp) $e1 2)
            ((mexpt simp) $e2 2) ((mexpt simp) $e4 2)
            ((mexpt simp) $e5 2))
           ((mtimes simp) -1408000 ((mexpt simp) $e2 3)
            ((mexpt simp) $e4 2) ((mexpt simp) $e5 2))
           ((mtimes simp) -1024000 ((mexpt simp) $e1 3) $e3
            ((mexpt simp) $e4 2) ((mexpt simp) $e5 2))
           ((mtimes simp) 1536000 $e1 $e2 $e3 ((mexpt simp) $e4 2)
            ((mexpt simp) $e5 2))
           ((mtimes simp) 2560000 ((mexpt simp) $e3 2)
            ((mexpt simp) $e4 2) ((mexpt simp) $e5 2))
           ((mtimes simp) -1024000 ((mexpt simp) $e1 2)
            ((mexpt simp) $e4 3) ((mexpt simp) $e5 2))
           ((mtimes simp) 2560000 $e2 ((mexpt simp) $e4 3)
            ((mexpt simp) $e5 2))
           ((mtimes simp) -153600 ((mexpt simp) $e1 3)
            ((mexpt simp) $e2 3) ((mexpt simp) $e5 3))
           ((mtimes simp) 384000 $e1 ((mexpt simp) $e2 4)
            ((mexpt simp) $e5 3))
           ((mtimes simp) 614400 ((mexpt simp) $e1 4) $e2 $e3
            ((mexpt simp) $e5 3))
           ((mtimes simp) -1280000 ((mexpt simp) $e1 2)
            ((mexpt simp) $e2 2) $e3 ((mexpt simp) $e5 3))
           ((mtimes simp) -640000 ((mexpt simp) $e2 3) $e3
            ((mexpt simp) $e5 3))
           ((mtimes simp) -2048000 ((mexpt simp) $e1 3)
            ((mexpt simp) $e3 2) ((mexpt simp) $e5 3))
           ((mtimes simp) 5120000 $e1 $e2 ((mexpt simp) $e3 2)
            ((mexpt simp) $e5 3))
           ((mtimes simp) -1228800 ((mexpt simp) $e1 5) $e4
            ((mexpt simp) $e5 3))
           ((mtimes simp) 5120000 ((mexpt simp) $e1 3) $e2 $e4
            ((mexpt simp) $e5 3))
           ((mtimes simp) -5120000 $e1 ((mexpt simp) $e2 2) $e4
            ((mexpt simp) $e5 3))
           ((mtimes simp) 5120000 ((mexpt simp) $e1 2) $e3 $e4
            ((mexpt simp) $e5 3))
           ((mtimes simp) -12800000 $e2 $e3 $e4 ((mexpt simp) $e5 3))
           ((mtimes simp) 2560000 ((mexpt simp) $e1 4)
            ((mexpt simp) $e5 4))
           ((mtimes simp) -12800000 ((mexpt simp) $e1 2) $e2
            ((mexpt simp) $e5 4))
           ((mtimes simp) 16000000 ((mexpt simp) $e2 2)
            ((mexpt simp) $e5 4))
           ((mtimes simp)
            ((mplus simp) ((mtimes simp) -6 ((mexpt simp) $e2 10))
             ((mtimes simp) 80 $e1 ((mexpt simp) $e2 8) $e3)
             ((mtimes simp) -384 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 6) ((mexpt simp) $e3 2))
             ((mtimes simp) -128 ((mexpt simp) $e2 7)
              ((mexpt simp) $e3 2))
             ((mtimes simp) 768 ((mexpt simp) $e1 3)
              ((mexpt simp) $e2 4) ((mexpt simp) $e3 3))
             ((mtimes simp) 1152 $e1 ((mexpt simp) $e2 5)
              ((mexpt simp) $e3 3))
             ((mtimes simp) -512 ((mexpt simp) $e1 4)
              ((mexpt simp) $e2 2) ((mexpt simp) $e3 4))
             ((mtimes simp) -3072 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 3) ((mexpt simp) $e3 4))
             ((mtimes simp) -896 ((mexpt simp) $e2 4)
              ((mexpt simp) $e3 4))
             ((mtimes simp) 2048 ((mexpt simp) $e1 3) $e2
              ((mexpt simp) $e3 5))
             ((mtimes simp) 4096 $e1 ((mexpt simp) $e2 2)
              ((mexpt simp) $e3 5))
             ((mtimes simp) -2048 ((mexpt simp) $e1 2)
              ((mexpt simp) $e3 6))
             ((mtimes simp) -2048 $e2 ((mexpt simp) $e3 6))
             ((mtimes simp) -128 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 7) $e4)
             ((mtimes simp) 184 ((mexpt simp) $e2 8) $e4)
             ((mtimes simp) 1152 ((mexpt simp) $e1 3)
              ((mexpt simp) $e2 5) $e3 $e4)
             ((mtimes simp) -1472 $e1 ((mexpt simp) $e2 6) $e3 $e4)
             ((mtimes simp) -3072 ((mexpt simp) $e1 4)
              ((mexpt simp) $e2 3) ((mexpt simp) $e3 2) $e4)
             ((mtimes simp) 1152 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 4) ((mexpt simp) $e3 2) $e4)
             ((mtimes simp) 2496 ((mexpt simp) $e2 5)
              ((mexpt simp) $e3 2) $e4)
             ((mtimes simp) 2048 ((mexpt simp) $e1 5) $e2
              ((mexpt simp) $e3 3) $e4)
             ((mtimes simp) 8192 ((mexpt simp) $e1 3)
              ((mexpt simp) $e2 2) ((mexpt simp) $e3 3) $e4)
             ((mtimes simp) -8192 $e1 ((mexpt simp) $e2 3)
              ((mexpt simp) $e3 3) $e4)
             ((mtimes simp) -4096 ((mexpt simp) $e1 4)
              ((mexpt simp) $e3 4) $e4)
             ((mtimes simp) -13312 ((mexpt simp) $e1 2) $e2
              ((mexpt simp) $e3 4) $e4)
             ((mtimes simp) 8192 ((mexpt simp) $e2 2)
              ((mexpt simp) $e3 4) $e4)
             ((mtimes simp) 14336 $e1 ((mexpt simp) $e3 5) $e4)
             ((mtimes simp) -896 ((mexpt simp) $e1 4)
              ((mexpt simp) $e2 4) ((mexpt simp) $e4 2))
             ((mtimes simp) 2496 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 5) ((mexpt simp) $e4 2))
             ((mtimes simp) -1984 ((mexpt simp) $e2 6)
              ((mexpt simp) $e4 2))
             ((mtimes simp) 4096 ((mexpt simp) $e1 5)
              ((mexpt simp) $e2 2) $e3 ((mexpt simp) $e4 2))
             ((mtimes simp) -8192 ((mexpt simp) $e1 3)
              ((mexpt simp) $e2 3) $e3 ((mexpt simp) $e4 2))
             ((mtimes simp) 4608 $e1 ((mexpt simp) $e2 4) $e3
              ((mexpt simp) $e4 2))
             ((mtimes simp) -2048 ((mexpt simp) $e1 6)
              ((mexpt simp) $e3 2) ((mexpt simp) $e4 2))
             ((mtimes simp) -13312 ((mexpt simp) $e1 4) $e2
              ((mexpt simp) $e3 2) ((mexpt simp) $e4 2))
             ((mtimes simp) 29184 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 2) ((mexpt simp) $e3 2)
              ((mexpt simp) $e4 2))
             ((mtimes simp) -12800 ((mexpt simp) $e2 3)
              ((mexpt simp) $e3 2) ((mexpt simp) $e4 2))
             ((mtimes simp) 30720 ((mexpt simp) $e1 3)
              ((mexpt simp) $e3 3) ((mexpt simp) $e4 2))
             ((mtimes simp) -39936 $e1 $e2 ((mexpt simp) $e3 3)
              ((mexpt simp) $e4 2))
             ((mtimes simp) -3072 ((mexpt simp) $e3 4)
              ((mexpt simp) $e4 2))
             ((mtimes simp) -2048 ((mexpt simp) $e1 6) $e2
              ((mexpt simp) $e4 3))
             ((mtimes simp) 8192 ((mexpt simp) $e1 4)
              ((mexpt simp) $e2 2) ((mexpt simp) $e4 3))
             ((mtimes simp) -12800 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 3) ((mexpt simp) $e4 3))
             ((mtimes simp) 1792 ((mexpt simp) $e2 4)
              ((mexpt simp) $e4 3))
             ((mtimes simp) 14336 ((mexpt simp) $e1 5) $e3
              ((mexpt simp) $e4 3))
             ((mtimes simp) -39936 ((mexpt simp) $e1 3) $e2 $e3
              ((mexpt simp) $e4 3))
             ((mtimes simp) 58368 $e1 ((mexpt simp) $e2 2) $e3
              ((mexpt simp) $e4 3))
             ((mtimes simp) -30720 ((mexpt simp) $e1 2)
              ((mexpt simp) $e3 2) ((mexpt simp) $e4 3))
             ((mtimes simp) -29696 $e2 ((mexpt simp) $e3 2)
              ((mexpt simp) $e4 3))
             ((mtimes simp) -3072 ((mexpt simp) $e1 4)
              ((mexpt simp) $e4 4))
             ((mtimes simp) -29696 ((mexpt simp) $e1 2) $e2
              ((mexpt simp) $e4 4))
             ((mtimes simp) 41472 ((mexpt simp) $e2 2)
              ((mexpt simp) $e4 4))
             ((mtimes simp) 94208 $e1 $e3 ((mexpt simp) $e4 4))
             ((mtimes simp) -108544 ((mexpt simp) $e4 5))
             ((mtimes simp) 128 ((mexpt simp) $e1 3)
              ((mexpt simp) $e2 6) $e5)
             ((mtimes simp) -192 $e1 ((mexpt simp) $e2 7) $e5)
             ((mtimes simp) -1024 ((mexpt simp) $e1 4)
              ((mexpt simp) $e2 4) $e3 $e5)
             ((mtimes simp) 1152 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 5) $e3 $e5)
             ((mtimes simp) 320 ((mexpt simp) $e2 6) $e3 $e5)
             ((mtimes simp) 2048 ((mexpt simp) $e1 5)
              ((mexpt simp) $e2 2) ((mexpt simp) $e3 2) $e5)
             ((mtimes simp) 2048 ((mexpt simp) $e1 3)
              ((mexpt simp) $e2 3) ((mexpt simp) $e3 2) $e5)
             ((mtimes simp) -6144 $e1 ((mexpt simp) $e2 4)
              ((mexpt simp) $e3 2) $e5)
             ((mtimes simp) -14336 ((mexpt simp) $e1 4) $e2
              ((mexpt simp) $e3 3) $e5)
             ((mtimes simp) 18432 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 2) ((mexpt simp) $e3 3) $e5)
             ((mtimes simp) -6144 ((mexpt simp) $e2 3)
              ((mexpt simp) $e3 3) $e5)
             ((mtimes simp) 12288 ((mexpt simp) $e1 3)
              ((mexpt simp) $e3 4) $e5)
             ((mtimes simp) 12288 $e1 $e2 ((mexpt simp) $e3 4) $e5)
             ((mtimes simp) -59392 ((mexpt simp) $e3 5) $e5)
             ((mtimes simp) 2048 ((mexpt simp) $e1 5)
              ((mexpt simp) $e2 3) $e4 $e5)
             ((mtimes simp) -7424 ((mexpt simp) $e1 3)
              ((mexpt simp) $e2 4) $e4 $e5)
             ((mtimes simp) 8832 $e1 ((mexpt simp) $e2 5) $e4 $e5)
             ((mtimes simp) -8192 ((mexpt simp) $e1 6) $e2 $e3 $e4 $e5)
             ((mtimes simp) 26624 ((mexpt simp) $e1 4)
              ((mexpt simp) $e2 2) $e3 $e4 $e5)
             ((mtimes simp) -49152 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 3) $e3 $e4 $e5)
             ((mtimes simp) 43008 ((mexpt simp) $e2 4) $e3 $e4 $e5)
             ((mtimes simp) 28672 ((mexpt simp) $e1 5)
              ((mexpt simp) $e3 2) $e4 $e5)
             ((mtimes simp) -4096 ((mexpt simp) $e1 3) $e2
              ((mexpt simp) $e3 2) $e4 $e5)
             ((mtimes simp) -129024 $e1 ((mexpt simp) $e2 2)
              ((mexpt simp) $e3 2) $e4 $e5)
             ((mtimes simp) -116736 ((mexpt simp) $e1 2)
              ((mexpt simp) $e3 3) $e4 $e5)
             ((mtimes simp) 414720 $e2 ((mexpt simp) $e3 3) $e4 $e5)
             ((mtimes simp) 8192 ((mexpt simp) $e1 7)
              ((mexpt simp) $e4 2) $e5)
             ((mtimes simp) -47104 ((mexpt simp) $e1 5) $e2
              ((mexpt simp) $e4 2) $e5)
             ((mtimes simp) 109568 ((mexpt simp) $e1 3)
              ((mexpt simp) $e2 2) ((mexpt simp) $e4 2) $e5)
             ((mtimes simp) -75776 $e1 ((mexpt simp) $e2 3)
              ((mexpt simp) $e4 2) $e5)
             ((mtimes simp) -174080 ((mexpt simp) $e1 4) $e3
              ((mexpt simp) $e4 2) $e5)
             ((mtimes simp) 553984 ((mexpt simp) $e1 2) $e2 $e3
              ((mexpt simp) $e4 2) $e5)
             ((mtimes simp) -445440 ((mexpt simp) $e2 2) $e3
              ((mexpt simp) $e4 2) $e5)
             ((mtimes simp) -327680 $e1 ((mexpt simp) $e3 2)
              ((mexpt simp) $e4 2) $e5)
             ((mtimes simp) 180224 ((mexpt simp) $e1 3)
              ((mexpt simp) $e4 3) $e5)
             ((mtimes simp) -317440 $e1 $e2 ((mexpt simp) $e4 3) $e5)
             ((mtimes simp) 614400 $e3 ((mexpt simp) $e4 3) $e5)
             ((mtimes simp) -6144 ((mexpt simp) $e1 4)
              ((mexpt simp) $e2 3) ((mexpt simp) $e5 2))
             ((mtimes simp) 41088 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 4) ((mexpt simp) $e5 2))
             ((mtimes simp) -86592 ((mexpt simp) $e2 5)
              ((mexpt simp) $e5 2))
             ((mtimes simp) 24576 ((mexpt simp) $e1 5) $e2 $e3
              ((mexpt simp) $e5 2))
             ((mtimes simp) -178176 ((mexpt simp) $e1 3)
              ((mexpt simp) $e2 2) $e3 ((mexpt simp) $e5 2))
             ((mtimes simp) 440320 $e1 ((mexpt simp) $e2 3) $e3
              ((mexpt simp) $e5 2))
             ((mtimes simp) -2048 ((mexpt simp) $e1 4)
              ((mexpt simp) $e3 2) ((mexpt simp) $e5 2))
             ((mtimes simp) -35840 ((mexpt simp) $e1 2) $e2
              ((mexpt simp) $e3 2) ((mexpt simp) $e5 2))
             ((mtimes simp) -652800 ((mexpt simp) $e2 2)
              ((mexpt simp) $e3 2) ((mexpt simp) $e5 2))
             ((mtimes simp) 409600 $e1 ((mexpt simp) $e3 3)
              ((mexpt simp) $e5 2))
             ((mtimes simp) -49152 ((mexpt simp) $e1 6) $e4
              ((mexpt simp) $e5 2))
             ((mtimes simp) 411648 ((mexpt simp) $e1 4) $e2 $e4
              ((mexpt simp) $e5 2))
             ((mtimes simp) -1198080 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 2) $e4 ((mexpt simp) $e5 2))
             ((mtimes simp) 857600 ((mexpt simp) $e2 3) $e4
              ((mexpt simp) $e5 2))
             ((mtimes simp) 92160 ((mexpt simp) $e1 3) $e3 $e4
              ((mexpt simp) $e5 2))
             ((mtimes simp) 947200 $e1 $e2 $e3 $e4
              ((mexpt simp) $e5 2))
             ((mtimes simp) -1024000 ((mexpt simp) $e3 2) $e4
              ((mexpt simp) $e5 2))
             ((mtimes simp) -716800 ((mexpt simp) $e1 2)
              ((mexpt simp) $e4 2) ((mexpt simp) $e5 2))
             ((mtimes simp) -128000 $e2 ((mexpt simp) $e4 2)
              ((mexpt simp) $e5 2))
             ((mtimes simp) -57344 ((mexpt simp) $e1 5)
              ((mexpt simp) $e5 3))
             ((mtimes simp) 358400 ((mexpt simp) $e1 3) $e2
              ((mexpt simp) $e5 3))
             ((mtimes simp) -384000 $e1 ((mexpt simp) $e2 2)
              ((mexpt simp) $e5 3))
             ((mtimes simp) -768000 ((mexpt simp) $e1 2) $e3
              ((mexpt simp) $e5 3))
             ((mtimes simp) 640000 $e2 $e3 ((mexpt simp) $e5 3))
             ((mtimes simp) 2560000 $e1 $e4 ((mexpt simp) $e5 3))
             ((mtimes simp) -3200000 ((mexpt simp) $e5 4)))
            $x)
           ((mtimes simp)
            ((mplus simp) ((mtimes simp) 15 ((mexpt simp) $e2 8))
             ((mtimes simp) -160 $e1 ((mexpt simp) $e2 6) $e3)
             ((mtimes simp) 576 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 4) ((mexpt simp) $e3 2))
             ((mtimes simp) 192 ((mexpt simp) $e2 5)
              ((mexpt simp) $e3 2))
             ((mtimes simp) -768 ((mexpt simp) $e1 3)
              ((mexpt simp) $e2 2) ((mexpt simp) $e3 3))
             ((mtimes simp) -1152 $e1 ((mexpt simp) $e2 3)
              ((mexpt simp) $e3 3))
             ((mtimes simp) 256 ((mexpt simp) $e1 4)
              ((mexpt simp) $e3 4))
             ((mtimes simp) 1536 ((mexpt simp) $e1 2) $e2
              ((mexpt simp) $e3 4))
             ((mtimes simp) 640 ((mexpt simp) $e2 2)
              ((mexpt simp) $e3 4))
             ((mtimes simp) -1024 $e1 ((mexpt simp) $e3 5))
             ((mtimes simp) 192 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 5) $e4)
             ((mtimes simp) -176 ((mexpt simp) $e2 6) $e4)
             ((mtimes simp) -1152 ((mexpt simp) $e1 3)
              ((mexpt simp) $e2 3) $e3 $e4)
             ((mtimes simp) 384 $e1 ((mexpt simp) $e2 4) $e3 $e4)
             ((mtimes simp) 1536 ((mexpt simp) $e1 4) $e2
              ((mexpt simp) $e3 2) $e4)
             ((mtimes simp) 3456 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 2) ((mexpt simp) $e3 2) $e4)
             ((mtimes simp) -960 ((mexpt simp) $e2 3)
              ((mexpt simp) $e3 2) $e4)
             ((mtimes simp) -5632 ((mexpt simp) $e1 3)
              ((mexpt simp) $e3 3) $e4)
             ((mtimes simp) -2560 $e1 $e2 ((mexpt simp) $e3 3) $e4)
             ((mtimes simp) 2560 ((mexpt simp) $e3 4) $e4)
             ((mtimes simp) 640 ((mexpt simp) $e1 4)
              ((mexpt simp) $e2 2) ((mexpt simp) $e4 2))
             ((mtimes simp) -960 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 3) ((mexpt simp) $e4 2))
             ((mtimes simp) 1440 ((mexpt simp) $e2 4)
              ((mexpt simp) $e4 2))
             ((mtimes simp) -1024 ((mexpt simp) $e1 5) $e3
              ((mexpt simp) $e4 2))
             ((mtimes simp) -2560 ((mexpt simp) $e1 3) $e2 $e3
              ((mexpt simp) $e4 2))
             ((mtimes simp) -3840 $e1 ((mexpt simp) $e2 2) $e3
              ((mexpt simp) $e4 2))
             ((mtimes simp) 24320 ((mexpt simp) $e1 2)
              ((mexpt simp) $e3 2) ((mexpt simp) $e4 2))
             ((mtimes simp) -1280 $e2 ((mexpt simp) $e3 2)
              ((mexpt simp) $e4 2))
             ((mtimes simp) 2560 ((mexpt simp) $e1 4)
              ((mexpt simp) $e4 3))
             ((mtimes simp) -1280 ((mexpt simp) $e1 2) $e2
              ((mexpt simp) $e4 3))
             ((mtimes simp) 1280 ((mexpt simp) $e2 2)
              ((mexpt simp) $e4 3))
             ((mtimes simp) -46080 $e1 $e3 ((mexpt simp) $e4 3))
             ((mtimes simp) 44800 ((mexpt simp) $e4 4))
             ((mtimes simp) -384 ((mexpt simp) $e1 3)
              ((mexpt simp) $e2 4) $e5)
             ((mtimes simp) 1152 $e1 ((mexpt simp) $e2 5) $e5)
             ((mtimes simp) 2048 ((mexpt simp) $e1 4)
              ((mexpt simp) $e2 2) $e3 $e5)
             ((mtimes simp) -5760 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 3) $e3 $e5)
             ((mtimes simp) -1920 ((mexpt simp) $e2 4) $e3 $e5)
             ((mtimes simp) -2048 ((mexpt simp) $e1 5)
              ((mexpt simp) $e3 2) $e5)
             ((mtimes simp) 2560 ((mexpt simp) $e1 3) $e2
              ((mexpt simp) $e3 2) $e5)
             ((mtimes simp) 15360 $e1 ((mexpt simp) $e2 2)
              ((mexpt simp) $e3 2) $e5)
             ((mtimes simp) -2560 ((mexpt simp) $e1 2)
              ((mexpt simp) $e3 3) $e5)
             ((mtimes simp) -12800 $e2 ((mexpt simp) $e3 3) $e5)
             ((mtimes simp) -2048 ((mexpt simp) $e1 5) $e2 $e4 $e5)
             ((mtimes simp) 6400 ((mexpt simp) $e1 3)
              ((mexpt simp) $e2 2) $e4 $e5)
             ((mtimes simp) -1920 $e1 ((mexpt simp) $e2 3) $e4 $e5)
             ((mtimes simp) 20480 ((mexpt simp) $e1 4) $e3 $e4 $e5)
             ((mtimes simp) -69120 ((mexpt simp) $e1 2) $e2 $e3 $e4
              $e5)
             ((mtimes simp) 19200 ((mexpt simp) $e2 2) $e3 $e4 $e5)
             ((mtimes simp) 38400 $e1 ((mexpt simp) $e3 2) $e4 $e5)
             ((mtimes simp) -46080 ((mexpt simp) $e1 3)
              ((mexpt simp) $e4 2) $e5)
             ((mtimes simp) 140800 $e1 $e2 ((mexpt simp) $e4 2) $e5)
             ((mtimes simp) -128000 $e3 ((mexpt simp) $e4 2) $e5)
             ((mtimes simp) 4096 ((mexpt simp) $e1 6)
              ((mexpt simp) $e5 2))
             ((mtimes simp) -30720 ((mexpt simp) $e1 4) $e2
              ((mexpt simp) $e5 2))
             ((mtimes simp) 67200 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 2) ((mexpt simp) $e5 2))
             ((mtimes simp) -24000 ((mexpt simp) $e2 3)
              ((mexpt simp) $e5 2))
             ((mtimes simp) 25600 ((mexpt simp) $e1 3) $e3
              ((mexpt simp) $e5 2))
             ((mtimes simp) -128000 $e1 $e2 $e3 ((mexpt simp) $e5 2))
             ((mtimes simp) 160000 ((mexpt simp) $e3 2)
              ((mexpt simp) $e5 2))
             ((mtimes simp) 64000 ((mexpt simp) $e1 2) $e4
              ((mexpt simp) $e5 2))
             ((mtimes simp) -160000 $e2 $e4 ((mexpt simp) $e5 2)))
            ((mexpt simp) $x 2))
           ((mtimes simp)
            ((mplus simp) ((mtimes simp) -20 ((mexpt simp) $e2 6))
             ((mtimes simp) 160 $e1 ((mexpt simp) $e2 4) $e3)
             ((mtimes simp) -384 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 2) ((mexpt simp) $e3 2))
             ((mtimes simp) -128 ((mexpt simp) $e2 3)
              ((mexpt simp) $e3 2))
             ((mtimes simp) 256 ((mexpt simp) $e1 3)
              ((mexpt simp) $e3 3))
             ((mtimes simp) 384 $e1 $e2 ((mexpt simp) $e3 3))
             ((mtimes simp) -128 ((mexpt simp) $e3 4))
             ((mtimes simp) -128 ((mexpt simp) $e1 2)
              ((mexpt simp) $e2 3) $e4)
             ((mtimes simp) -16 ((mexpt simp) $e2 4) $e4)
             ((mtimes simp) 384 ((mexpt simp) $e1 3) $e2 $e3 $e4)
             ((mtimes simp) 960 $e1 ((mexpt simp) $e2 2) $e3 $e4)
             ((mtimes simp) -2688 ((mexpt simp) $e1 2)
              ((mexpt simp) $e3 2) $e4)
             ((mtimes simp) -192 $e2 ((mexpt simp) $e3 2) $e4)
             ((mtimes simp) -128 ((mexpt simp) $e1 4)
              ((mexpt simp) $e4 2))
             ((mtimes simp) -192 ((mexpt simp) $e1 2) $e2
              ((mexpt simp) $e4 2))
             ((mtimes simp) -1472 ((mexpt simp) $e2 2)
              ((mexpt simp) $e4 2))
             ((mtimes simp) 8192 $e1 $e3 ((mexpt simp) $e4 2))
             ((mtimes simp) -8960 ((mexpt simp) $e4 3))
             ((mtimes simp) 384 ((mexpt simp) $e1 3)
              ((mexpt simp) $e2 2) $e5)
             ((mtimes simp) -1344 $e1 ((mexpt simp) $e2 3) $e5)
             ((mtimes simp) -1024 ((mexpt simp) $e1 4) $e3 $e5)
             ((mtimes simp) 3456 ((mexpt simp) $e1 2) $e2 $e3 $e5)
             ((mtimes simp) 2240 ((mexpt simp) $e2 2) $e3 $e5)
             ((mtimes simp) -5120 $e1 ((mexpt simp) $e3 2) $e5)
             ((mtimes simp) 3328 ((mexpt simp) $e1 3) $e4 $e5)
             ((mtimes simp) -10880 $e1 $e2 $e4 $e5)
             ((mtimes simp) 12800 $e3 $e4 $e5)
             ((mtimes simp) -3200 ((mexpt simp) $e1 2)
              ((mexpt simp) $e5 2))
             ((mtimes simp) 8000 $e2 ((mexpt simp) $e5 2)))
            ((mexpt simp) $x 3))
           ((mtimes simp)
            ((mplus simp) ((mtimes simp) 15 ((mexpt simp) $e2 4))
             ((mtimes simp) -80 $e1 ((mexpt simp) $e2 2) $e3)
             ((mtimes simp) 96 ((mexpt simp) $e1 2)
              ((mexpt simp) $e3 2))
             ((mtimes simp) 32 $e2 ((mexpt simp) $e3 2))
             ((mtimes simp) 32 ((mexpt simp) $e1 2) $e2 $e4)
             ((mtimes simp) 104 ((mexpt simp) $e2 2) $e4)
             ((mtimes simp) -544 $e1 $e3 $e4)
             ((mtimes simp) 880 ((mexpt simp) $e4 2))
             ((mtimes simp) -128 ((mexpt simp) $e1 3) $e5)
             ((mtimes simp) 480 $e1 $e2 $e5)
             ((mtimes simp) -800 $e3 $e5))
            ((mexpt simp) $x 4))
           ((mtimes simp) -1
            ((mplus simp) ((mtimes simp) 6 ((mexpt simp) $e2 2))
             ((mtimes simp) -16 $e1 $e3) ((mtimes simp) 40 $e4))
            ((mexpt simp) $x 5))
           ((mexpt simp) $x 6))) 
(add2lnc '$q $values) 
(setq aaaaa (gensym)) 
(remcompary '$q) 
(mremprop '$q 'array) 
(mputprop '$q aaaaa 'hashar)
(setf (symbol-array aaaaa)
      (make-array 11 :initial-contents '(8 5 1 nil
					 (((1) (mlist simp)
					   ((mlist simp) ((mlist simp) 1 2 2 0 0 0)
					    ((mlist simp) -2 2 1 1 0 0) ((mlist simp) 2 1 1 1 1 0))
					   ((mlist simp) ((mlist simp) 1 2 2 0 0 0)
					    ((mlist simp) 2 2 1 1 0 0) ((mlist simp) 2 1 1 1 1 0))
					   ((mlist simp) ((mlist simp) 1 2 2 0 0 0)
					    ((mlist simp) -2 2 1 1 0 0) ((mlist simp) 2 1 1 1 1 0))
					   ((mlist simp) ((mlist simp) 1 2 2 0 0 0)
					    ((mlist simp) -2 2 1 1 0 0) ((mlist simp) 2 1 1 1 1 0))
					   ((mlist simp) ((mlist simp) 1 2 2 0 0 0)
					    ((mlist simp) -2 2 1 1 0 0) ((mlist simp) 2 1 1 1 1 0))
					   ((mlist simp) ((mlist simp) 1 2 2 0 0 0)
					    ((mlist simp) 2 2 1 1 0 0) ((mlist simp) 2 1 1 1 1 0))))
					 (((2) (mlist simp)
					   ((mlist simp) ((mlist simp) 1 4 4 0 0 0)
					    ((mlist simp) -4 4 3 1 0 0) ((mlist simp) 6 4 2 2 0 0)
					    ((mlist simp) 12 4 2 1 1 0) ((mlist simp) 24 4 1 1 1 1)
					    ((mlist simp) -12 3 3 2 0 0) ((mlist simp) 4 3 3 1 1 0)
					    ((mlist simp) -12 3 2 1 1 1) ((mlist simp) -6 2 2 2 2 0)
					    ((mlist simp) 12 2 2 2 1 1))
					   ((mlist simp) ((mlist simp) 1 4 4 0 0 0)
					    ((mlist simp) 4 4 3 1 0 0) ((mlist simp) 6 4 2 2 0 0)
					    ((mlist simp) -12 4 2 1 1 0) ((mlist simp) 24 4 1 1 1 1)
					    ((mlist simp) -12 3 3 2 0 0) ((mlist simp) 4 3 3 1 1 0)
					    ((mlist simp) 24 3 2 2 1 0) ((mlist simp) -12 3 2 1 1 1)
					    ((mlist simp) -6 2 2 2 2 0) ((mlist simp) 12 2 2 2 1 1))
					   ((mlist simp) ((mlist simp) 1 4 4 0 0 0)
					    ((mlist simp) -4 4 3 1 0 0) ((mlist simp) 6 4 2 2 0 0)
					    ((mlist simp) -12 4 2 1 1 0) ((mlist simp) 24 4 1 1 1 1)
					    ((mlist simp) 12 3 3 2 0 0) ((mlist simp) 4 3 3 1 1 0)
					    ((mlist simp) -12 3 2 1 1 1) ((mlist simp) -6 2 2 2 2 0)
					    ((mlist simp) 12 2 2 2 1 1))
					   ((mlist simp) ((mlist simp) 1 4 4 0 0 0)
					    ((mlist simp) -4 4 3 1 0 0) ((mlist simp) 6 4 2 2 0 0)
					    ((mlist simp) 12 4 2 1 1 0) ((mlist simp) 24 4 1 1 1 1)
					    ((mlist simp) 12 3 3 2 0 0) ((mlist simp) 4 3 3 1 1 0)
					    ((mlist simp) -24 3 2 2 1 0) ((mlist simp) -12 3 2 1 1 1)
					    ((mlist simp) -6 2 2 2 2 0) ((mlist simp) 12 2 2 2 1 1))
					   ((mlist simp) ((mlist simp) 1 4 4 0 0 0)
					    ((mlist simp) -4 4 3 1 0 0) ((mlist simp) 6 4 2 2 0 0)
					    ((mlist simp) -12 4 2 1 1 0) ((mlist simp) 24 4 1 1 1 1)
					    ((mlist simp) -12 3 3 2 0 0) ((mlist simp) 20 3 3 1 1 0)
					    ((mlist simp) -24 3 2 2 1 0) ((mlist simp) -12 3 2 1 1 1)
					    ((mlist simp) -6 2 2 2 2 0) ((mlist simp) 12 2 2 2 1 1))
					   ((mlist simp) ((mlist simp) 1 4 4 0 0 0)
					    ((mlist simp) 4 4 3 1 0 0) ((mlist simp) 6 4 2 2 0 0)
					    ((mlist simp) -12 4 2 1 1 0) ((mlist simp) 24 4 1 1 1 1)
					    ((mlist simp) -12 3 3 2 0 0) ((mlist simp) 20 3 3 1 1 0)
					    ((mlist simp) 24 3 2 2 1 0) ((mlist simp) -12 3 2 1 1 1)
					    ((mlist simp) -6 2 2 2 2 0) ((mlist simp) 12 2 2 2 1 1))))
					 (((3) (mlist simp)
					   ((mlist simp) ((mlist simp) 1 6 6 0 0 0)
					    ((mlist simp) -6 6 5 1 0 0) ((mlist simp) 15 6 4 2 0 0)
					    ((mlist simp) 30 6 4 1 1 0) ((mlist simp) -20 6 3 3 0 0)
					    ((mlist simp) -60 6 3 2 1 0) ((mlist simp) 120 6 3 1 1 1)
					    ((mlist simp) 90 6 2 2 2 0) ((mlist simp) -180 6 2 2 1 1)
					    ((mlist simp) -30 5 5 2 0 0) ((mlist simp) 6 5 5 1 1 0)
					    ((mlist simp) 60 5 4 3 0 0) ((mlist simp) 30 5 4 2 1 0)
					    ((mlist simp) -90 5 4 1 1 1) ((mlist simp) -60 5 3 3 1 0)
					    ((mlist simp) 120 5 3 2 2 0) ((mlist simp) 180 5 3 2 1 1)
					    ((mlist simp) 180 5 2 2 2 1) ((mlist simp) 90 4 4 4 0 0)
					    ((mlist simp) -120 4 4 3 1 0) ((mlist simp) -165 4 4 2 2 0)
					    ((mlist simp) 90 4 4 2 1 1) ((mlist simp) 240 4 3 3 2 0)
					    ((mlist simp) -180 4 3 3 1 1) ((mlist simp) -300 4 3 2 2 1)
					    ((mlist simp) -180 4 2 2 2 2) ((mlist simp) -340 3 3 3 3 0)
					    ((mlist simp) 60 3 3 3 2 1) ((mlist simp) 60 3 3 2 2 2))
					   ((mlist simp) ((mlist simp) 1 6 6 0 0 0)
					    ((mlist simp) 6 6 5 1 0 0) ((mlist simp) 15 6 4 2 0 0)
					    ((mlist simp) -30 6 4 1 1 0) ((mlist simp) 20 6 3 3 0 0)
					    ((mlist simp) -60 6 3 2 1 0) ((mlist simp) 120 6 3 1 1 1)
					    ((mlist simp) 90 6 2 2 2 0) ((mlist simp) 180 6 2 2 1 1)
					    ((mlist simp) -30 5 5 2 0 0) ((mlist simp) 6 5 5 1 1 0)
					    ((mlist simp) -60 5 4 3 0 0) ((mlist simp) 90 5 4 2 1 0)
					    ((mlist simp) -90 5 4 1 1 1) ((mlist simp) 180 5 3 3 1 0)
					    ((mlist simp) -120 5 3 2 2 0) ((mlist simp) -300 5 3 2 1 1)
					    ((mlist simp) 180 5 2 2 2 1) ((mlist simp) 90 4 4 4 0 0)
					    ((mlist simp) -120 4 4 3 1 0) ((mlist simp) -165 4 4 2 2 0)
					    ((mlist simp) 90 4 4 2 1 1) ((mlist simp) 120 4 3 3 2 0)
					    ((mlist simp) 300 4 3 3 1 1) ((mlist simp) 180 4 3 2 2 1)
					    ((mlist simp) -180 4 2 2 2 2) ((mlist simp) -340 3 3 3 3 0)
					    ((mlist simp) 60 3 3 3 2 1) ((mlist simp) 60 3 3 2 2 2))
					   ((mlist simp) ((mlist simp) 1 6 6 0 0 0)
					    ((mlist simp) -6 6 5 1 0 0) ((mlist simp) 15 6 4 2 0 0)
					    ((mlist simp) -30 6 4 1 1 0) ((mlist simp) -20 6 3 3 0 0)
					    ((mlist simp) 60 6 3 2 1 0) ((mlist simp) 120 6 3 1 1 1)
					    ((mlist simp) 90 6 2 2 2 0) ((mlist simp) -180 6 2 2 1 1)
					    ((mlist simp) 30 5 5 2 0 0) ((mlist simp) 6 5 5 1 1 0)
					    ((mlist simp) -60 5 4 3 0 0) ((mlist simp) 30 5 4 2 1 0)
					    ((mlist simp) -90 5 4 1 1 1) ((mlist simp) -60 5 3 3 1 0)
					    ((mlist simp) -120 5 3 2 2 0) ((mlist simp) -60 5 3 2 1 1)
					    ((mlist simp) 180 5 2 2 2 1) ((mlist simp) 90 4 4 4 0 0)
					    ((mlist simp) 120 4 4 3 1 0) ((mlist simp) -165 4 4 2 2 0)
					    ((mlist simp) 270 4 4 2 1 1) ((mlist simp) 240 4 3 3 2 0)
					    ((mlist simp) -180 4 3 3 1 1) ((mlist simp) 180 4 3 2 2 1)
					    ((mlist simp) -180 4 2 2 2 2) ((mlist simp) -340 3 3 3 3 0)
					    ((mlist simp) 60 3 3 3 2 1) ((mlist simp) 60 3 3 2 2 2))
					   ((mlist simp) ((mlist simp) 1 6 6 0 0 0)
					    ((mlist simp) -6 6 5 1 0 0) ((mlist simp) 15 6 4 2 0 0)
					    ((mlist simp) 30 6 4 1 1 0) ((mlist simp) -20 6 3 3 0 0)
					    ((mlist simp) -60 6 3 2 1 0) ((mlist simp) 120 6 3 1 1 1)
					    ((mlist simp) 90 6 2 2 2 0) ((mlist simp) -180 6 2 2 1 1)
					    ((mlist simp) 30 5 5 2 0 0) ((mlist simp) 6 5 5 1 1 0)
					    ((mlist simp) -60 5 4 3 0 0) ((mlist simp) -90 5 4 2 1 0)
					    ((mlist simp) -90 5 4 1 1 1) ((mlist simp) 180 5 3 3 1 0)
					    ((mlist simp) 120 5 3 2 2 0) ((mlist simp) -60 5 3 2 1 1)
					    ((mlist simp) 180 5 2 2 2 1) ((mlist simp) 90 4 4 4 0 0)
					    ((mlist simp) 120 4 4 3 1 0) ((mlist simp) -165 4 4 2 2 0)
					    ((mlist simp) 270 4 4 2 1 1) ((mlist simp) -120 4 3 3 2 0)
					    ((mlist simp) -180 4 3 3 1 1) ((mlist simp) -300 4 3 2 2 1)
					    ((mlist simp) -180 4 2 2 2 2) ((mlist simp) -340 3 3 3 3 0)
					    ((mlist simp) 60 3 3 3 2 1) ((mlist simp) 60 3 3 2 2 2))
					   ((mlist simp) ((mlist simp) 1 6 6 0 0 0)
					    ((mlist simp) -6 6 5 1 0 0) ((mlist simp) 15 6 4 2 0 0)
					    ((mlist simp) -30 6 4 1 1 0) ((mlist simp) -20 6 3 3 0 0)
					    ((mlist simp) 60 6 3 2 1 0) ((mlist simp) 120 6 3 1 1 1)
					    ((mlist simp) 90 6 2 2 2 0) ((mlist simp) -180 6 2 2 1 1)
					    ((mlist simp) -30 5 5 2 0 0) ((mlist simp) 54 5 5 1 1 0)
					    ((mlist simp) 60 5 4 3 0 0) ((mlist simp) -150 5 4 2 1 0)
					    ((mlist simp) -90 5 4 1 1 1) ((mlist simp) 180 5 3 3 1 0)
					    ((mlist simp) -240 5 3 2 2 0) ((mlist simp) 180 5 3 2 1 1)
					    ((mlist simp) 180 5 2 2 2 1) ((mlist simp) 90 4 4 4 0 0)
					    ((mlist simp) -240 4 4 3 1 0) ((mlist simp) 315 4 4 2 2 0)
					    ((mlist simp) 90 4 4 2 1 1) ((mlist simp) -120 4 3 3 2 0)
					    ((mlist simp) -180 4 3 3 1 1) ((mlist simp) -60 4 3 2 2 1)
					    ((mlist simp) -180 4 2 2 2 2) ((mlist simp) -340 3 3 3 3 0)
					    ((mlist simp) 60 3 3 3 2 1) ((mlist simp) 60 3 3 2 2 2))
					   ((mlist simp) ((mlist simp) 1 6 6 0 0 0)
					    ((mlist simp) 6 6 5 1 0 0) ((mlist simp) 15 6 4 2 0 0)
					    ((mlist simp) -30 6 4 1 1 0) ((mlist simp) 20 6 3 3 0 0)
					    ((mlist simp) -60 6 3 2 1 0) ((mlist simp) 120 6 3 1 1 1)
					    ((mlist simp) 90 6 2 2 2 0) ((mlist simp) 180 6 2 2 1 1)
					    ((mlist simp) -30 5 5 2 0 0) ((mlist simp) 54 5 5 1 1 0)
					    ((mlist simp) -60 5 4 3 0 0) ((mlist simp) 150 5 4 2 1 0)
					    ((mlist simp) -90 5 4 1 1 1) ((mlist simp) 180 5 3 3 1 0)
					    ((mlist simp) -240 5 3 2 2 0) ((mlist simp) -300 5 3 2 1 1)
					    ((mlist simp) 180 5 2 2 2 1) ((mlist simp) 90 4 4 4 0 0)
					    ((mlist simp) -240 4 4 3 1 0) ((mlist simp) 315 4 4 2 2 0)
					    ((mlist simp) 90 4 4 2 1 1) ((mlist simp) 120 4 3 3 2 0)
					    ((mlist simp) 300 4 3 3 1 1) ((mlist simp) -60 4 3 2 2 1)
					    ((mlist simp) -180 4 2 2 2 2) ((mlist simp) -340 3 3 3 3 0)
					    ((mlist simp) 60 3 3 3 2 1) ((mlist simp) 60 3 3 2 2 2))))
					 (((4) (mlist simp)
					   ((mlist simp) ((mlist simp) 1 8 8 0 0 0)
					    ((mlist simp) -8 8 7 1 0 0) ((mlist simp) 28 8 6 2 0 0)
					    ((mlist simp) 56 8 6 1 1 0) ((mlist simp) -56 8 5 3 0 0)
					    ((mlist simp) -168 8 5 2 1 0) ((mlist simp) 336 8 5 1 1 1)
					    ((mlist simp) 70 8 4 4 0 0) ((mlist simp) 280 8 4 3 1 0)
					    ((mlist simp) 420 8 4 2 2 0) ((mlist simp) -840 8 4 2 1 1)
					    ((mlist simp) -560 8 3 3 2 0) ((mlist simp) 1120 8 3 3 1 1)
					    ((mlist simp) 1680 8 3 2 2 1) ((mlist simp) 2520 8 2 2 2 2)
					    ((mlist simp) -56 7 7 2 0 0) ((mlist simp) 8 7 7 1 1 0)
					    ((mlist simp) 168 7 6 3 0 0) ((mlist simp) 112 7 6 2 1 0)
					    ((mlist simp) -280 7 6 1 1 1) ((mlist simp) -280 7 5 4 0 0)
					    ((mlist simp) -392 7 5 3 1 0) ((mlist simp) 336 7 5 2 2 0)
					    ((mlist simp) 1176 7 5 2 1 1) ((mlist simp) 560 7 4 4 1 0)
					    ((mlist simp) -280 7 4 3 2 0) ((mlist simp) -1960 7 4 3 1 1)
					    ((mlist simp) 1680 7 3 3 3 0) ((mlist simp) -560 7 3 3 2 1)
					    ((mlist simp) -1680 7 3 2 2 2) ((mlist simp) 420 6 6 4 0 0)
					    ((mlist simp) -336 6 6 3 1 0) ((mlist simp) -812 6 6 2 2 0)
					    ((mlist simp) 280 6 6 2 1 1) ((mlist simp) -560 6 5 5 0 0)
					    ((mlist simp) 280 6 5 4 1 0) ((mlist simp) 1792 6 5 3 2 0)
					    ((mlist simp) 56 6 5 3 1 1) ((mlist simp) -3192 6 5 2 2 1)
					    ((mlist simp) -2240 6 4 4 2 0) ((mlist simp) 560 6 4 4 1 1)
					    ((mlist simp) -840 6 4 3 3 0) ((mlist simp) 4480 6 4 3 2 1)
					    ((mlist simp) -2940 6 4 2 2 2) ((mlist simp) -1680 6 3 3 3 1)
					    ((mlist simp) 4480 6 3 3 2 2) ((mlist simp) 1680 5 5 5 1 0)
					    ((mlist simp) 840 5 5 4 2 0) ((mlist simp) -3360 5 5 4 1 1)
					    ((mlist simp) -3304 5 5 3 3 0) ((mlist simp) -3528 5 5 3 2 1)
					    ((mlist simp) 5544 5 5 2 2 2) ((mlist simp) 3920 5 4 4 3 0)
					    ((mlist simp) 1680 5 4 4 2 1) ((mlist simp) -3080 5 4 3 3 1)
					    ((mlist simp) -3360 5 4 3 2 2) ((mlist simp) -1120 5 3 3 3 2)
					    ((mlist simp) -4550 4 4 4 4 0) ((mlist simp) -1400 4 4 4 3 1)
					    ((mlist simp) 2100 4 4 4 2 2) ((mlist simp) 1400 4 4 3 3 2))
					   ((mlist simp) ((mlist simp) 1 8 8 0 0 0)
					    ((mlist simp) 8 8 7 1 0 0) ((mlist simp) 28 8 6 2 0 0)
					    ((mlist simp) -56 8 6 1 1 0) ((mlist simp) 56 8 5 3 0 0)
					    ((mlist simp) -168 8 5 2 1 0) ((mlist simp) 336 8 5 1 1 1)
					    ((mlist simp) 70 8 4 4 0 0) ((mlist simp) -280 8 4 3 1 0)
					    ((mlist simp) 420 8 4 2 2 0) ((mlist simp) 840 8 4 2 1 1)
					    ((mlist simp) 560 8 3 3 2 0) ((mlist simp) 1120 8 3 3 1 1)
					    ((mlist simp) -1680 8 3 2 2 1) ((mlist simp) 2520 8 2 2 2 2)
					    ((mlist simp) -56 7 7 2 0 0) ((mlist simp) 8 7 7 1 1 0)
					    ((mlist simp) -168 7 6 3 0 0) ((mlist simp) 224 7 6 2 1 0)
					    ((mlist simp) -280 7 6 1 1 1) ((mlist simp) -280 7 5 4 0 0)
					    ((mlist simp) 728 7 5 3 1 0) ((mlist simp) -336 7 5 2 2 0)
					    ((mlist simp) -1512 7 5 2 1 1) ((mlist simp) 1120 7 4 4 1 0)
					    ((mlist simp) -1400 7 4 3 2 0) ((mlist simp) -3080 7 4 3 1 1)
					    ((mlist simp) 1680 7 4 2 2 1) ((mlist simp) 1680 7 3 3 3 0)
					    ((mlist simp) 3920 7 3 3 2 1) ((mlist simp) -1680 7 3 2 2 2)
					    ((mlist simp) 420 6 6 4 0 0) ((mlist simp) -336 6 6 3 1 0)
					    ((mlist simp) -812 6 6 2 2 0) ((mlist simp) 280 6 6 2 1 1)
					    ((mlist simp) 560 6 5 5 0 0) ((mlist simp) -1400 6 5 4 1 0)
					    ((mlist simp) -112 6 5 3 2 0) ((mlist simp) 2744 6 5 3 1 1)
					    ((mlist simp) 2184 6 5 2 2 1) ((mlist simp) 2240 6 4 4 2 0)
					    ((mlist simp) 4480 6 4 4 1 1) ((mlist simp) 840 6 4 3 3 0)
					    ((mlist simp) -1120 6 4 3 2 1) ((mlist simp) -2940 6 4 2 2 2)
					    ((mlist simp) -1680 6 3 3 3 1) ((mlist simp) -1120 6 3 3 2 2)
					    ((mlist simp) 1680 5 5 5 1 0) ((mlist simp) 840 5 5 4 2 0)
					    ((mlist simp) -3360 5 5 4 1 1) ((mlist simp) -3304 5 5 3 3 0)
					    ((mlist simp) -3528 5 5 3 2 1) ((mlist simp) 5544 5 5 2 2 2)
					    ((mlist simp) -2240 5 4 4 3 0) ((mlist simp) 1680 5 4 4 2 1)
					    ((mlist simp) 4760 5 4 3 3 1) ((mlist simp) 1680 5 4 3 2 2)
					    ((mlist simp) -1120 5 3 3 3 2) ((mlist simp) -4550 4 4 4 4 0)
					    ((mlist simp) -1400 4 4 4 3 1) ((mlist simp) 2100 4 4 4 2 2)
					    ((mlist simp) 1400 4 4 3 3 2))
					   ((mlist simp) ((mlist simp) 1 8 8 0 0 0)
					    ((mlist simp) -8 8 7 1 0 0) ((mlist simp) 28 8 6 2 0 0)
					    ((mlist simp) -56 8 6 1 1 0) ((mlist simp) -56 8 5 3 0 0)
					    ((mlist simp) 168 8 5 2 1 0) ((mlist simp) 336 8 5 1 1 1)
					    ((mlist simp) 70 8 4 4 0 0) ((mlist simp) -280 8 4 3 1 0)
					    ((mlist simp) 420 8 4 2 2 0) ((mlist simp) -840 8 4 2 1 1)
					    ((mlist simp) -560 8 3 3 2 0) ((mlist simp) 1120 8 3 3 1 1)
					    ((mlist simp) -1680 8 3 2 2 1) ((mlist simp) 2520 8 2 2 2 2)
					    ((mlist simp) 56 7 7 2 0 0) ((mlist simp) 8 7 7 1 1 0)
					    ((mlist simp) -168 7 6 3 0 0) ((mlist simp) 112 7 6 2 1 0)
					    ((mlist simp) -280 7 6 1 1 1) ((mlist simp) 280 7 5 4 0 0)
					    ((mlist simp) -392 7 5 3 1 0) ((mlist simp) -336 7 5 2 2 0)
					    ((mlist simp) -168 7 5 2 1 1) ((mlist simp) 560 7 4 4 1 0)
					    ((mlist simp) 280 7 4 3 2 0) ((mlist simp) 1400 7 4 3 1 1)
					    ((mlist simp) 1680 7 4 2 2 1) ((mlist simp) 1680 7 3 3 3 0)
					    ((mlist simp) -560 7 3 3 2 1) ((mlist simp) -1680 7 3 2 2 2)
					    ((mlist simp) 420 6 6 4 0 0) ((mlist simp) 336 6 6 3 1 0)
					    ((mlist simp) -812 6 6 2 2 0) ((mlist simp) 1400 6 6 2 1 1)
					    ((mlist simp) -560 6 5 5 0 0) ((mlist simp) -280 6 5 4 1 0)
					    ((mlist simp) 1792 6 5 3 2 0) ((mlist simp) -1736 6 5 3 1 1)
					    ((mlist simp) 2184 6 5 2 2 1) ((mlist simp) -2240 6 4 4 2 0)
					    ((mlist simp) 560 6 4 4 1 1) ((mlist simp) 840 6 4 3 3 0)
					    ((mlist simp) -4480 6 4 3 2 1) ((mlist simp) -2940 6 4 2 2 2)
					    ((mlist simp) -1680 6 3 3 3 1) ((mlist simp) 4480 6 3 3 2 2)
					    ((mlist simp) 1680 5 5 5 1 0) ((mlist simp) -840 5 5 4 2 0)
					    ((mlist simp) 3360 5 5 4 1 1) ((mlist simp) -3304 5 5 3 3 0)
					    ((mlist simp) 1848 5 5 3 2 1) ((mlist simp) 5544 5 5 2 2 2)
					    ((mlist simp) 3920 5 4 4 3 0) ((mlist simp) 1680 5 4 4 2 1)
					    ((mlist simp) 4760 5 4 3 3 1) ((mlist simp) -1680 5 4 3 2 2)
					    ((mlist simp) -1120 5 3 3 3 2) ((mlist simp) -4550 4 4 4 4 0)
					    ((mlist simp) -1400 4 4 4 3 1) ((mlist simp) 2100 4 4 4 2 2)
					    ((mlist simp) 1400 4 4 3 3 2))
					   ((mlist simp) ((mlist simp) 1 8 8 0 0 0)
					    ((mlist simp) -8 8 7 1 0 0) ((mlist simp) 28 8 6 2 0 0)
					    ((mlist simp) 56 8 6 1 1 0) ((mlist simp) -56 8 5 3 0 0)
					    ((mlist simp) -168 8 5 2 1 0) ((mlist simp) 336 8 5 1 1 1)
					    ((mlist simp) 70 8 4 4 0 0) ((mlist simp) 280 8 4 3 1 0)
					    ((mlist simp) 420 8 4 2 2 0) ((mlist simp) -840 8 4 2 1 1)
					    ((mlist simp) -560 8 3 3 2 0) ((mlist simp) 1120 8 3 3 1 1)
					    ((mlist simp) 1680 8 3 2 2 1) ((mlist simp) 2520 8 2 2 2 2)
					    ((mlist simp) 56 7 7 2 0 0) ((mlist simp) 8 7 7 1 1 0)
					    ((mlist simp) -168 7 6 3 0 0) ((mlist simp) -224 7 6 2 1 0)
					    ((mlist simp) -280 7 6 1 1 1) ((mlist simp) 280 7 5 4 0 0)
					    ((mlist simp) 728 7 5 3 1 0) ((mlist simp) 336 7 5 2 2 0)
					    ((mlist simp) -168 7 5 2 1 1) ((mlist simp) -1120 7 4 4 1 0)
					    ((mlist simp) -1400 7 4 3 2 0) ((mlist simp) 1400 7 4 3 1 1)
					    ((mlist simp) 1680 7 3 3 3 0) ((mlist simp) -2800 7 3 3 2 1)
					    ((mlist simp) -1680 7 3 2 2 2) ((mlist simp) 420 6 6 4 0 0)
					    ((mlist simp) 336 6 6 3 1 0) ((mlist simp) -812 6 6 2 2 0)
					    ((mlist simp) 1400 6 6 2 1 1) ((mlist simp) -560 6 5 5 0 0)
					    ((mlist simp) -1400 6 5 4 1 0) ((mlist simp) 112 6 5 3 2 0)
					    ((mlist simp) -1736 6 5 3 1 1) ((mlist simp) -3192 6 5 2 2 1)
					    ((mlist simp) 2240 6 4 4 2 0) ((mlist simp) 560 6 4 4 1 1)
					    ((mlist simp) -840 6 4 3 3 0) ((mlist simp) 2800 6 4 3 2 1)
					    ((mlist simp) -2940 6 4 2 2 2) ((mlist simp) -1680 6 3 3 3 1)
					    ((mlist simp) 4480 6 3 3 2 2) ((mlist simp) 1680 5 5 5 1 0)
					    ((mlist simp) -840 5 5 4 2 0) ((mlist simp) 3360 5 5 4 1 1)
					    ((mlist simp) -3304 5 5 3 3 0) ((mlist simp) 1848 5 5 3 2 1)
					    ((mlist simp) 5544 5 5 2 2 2) ((mlist simp) 2240 5 4 4 3 0)
					    ((mlist simp) -3360 5 4 4 2 1) ((mlist simp) -3080 5 4 3 3 1)
					    ((mlist simp) -1680 5 4 3 2 2) ((mlist simp) -1120 5 3 3 3 2)
					    ((mlist simp) -4550 4 4 4 4 0) ((mlist simp) -1400 4 4 4 3 1)
					    ((mlist simp) 2100 4 4 4 2 2) ((mlist simp) 1400 4 4 3 3 2))
					   ((mlist simp) ((mlist simp) 1 8 8 0 0 0)
					    ((mlist simp) -8 8 7 1 0 0) ((mlist simp) 28 8 6 2 0 0)
					    ((mlist simp) -56 8 6 1 1 0) ((mlist simp) -56 8 5 3 0 0)
					    ((mlist simp) 168 8 5 2 1 0) ((mlist simp) 336 8 5 1 1 1)
					    ((mlist simp) 70 8 4 4 0 0) ((mlist simp) -280 8 4 3 1 0)
					    ((mlist simp) 420 8 4 2 2 0) ((mlist simp) -840 8 4 2 1 1)
					    ((mlist simp) -560 8 3 3 2 0) ((mlist simp) 1120 8 3 3 1 1)
					    ((mlist simp) -1680 8 3 2 2 1) ((mlist simp) 2520 8 2 2 2 2)
					    ((mlist simp) -56 7 7 2 0 0) ((mlist simp) 104 7 7 1 1 0)
					    ((mlist simp) 168 7 6 3 0 0) ((mlist simp) -448 7 6 2 1 0)
					    ((mlist simp) -280 7 6 1 1 1) ((mlist simp) -280 7 5 4 0 0)
					    ((mlist simp) 952 7 5 3 1 0) ((mlist simp) -1344 7 5 2 2 0)
					    ((mlist simp) 1176 7 5 2 1 1) ((mlist simp) -1120 7 4 4 1 0)
					    ((mlist simp) 1960 7 4 3 2 0) ((mlist simp) -1960 7 4 3 1 1)
					    ((mlist simp) 3360 7 4 2 2 1) ((mlist simp) 1680 7 3 3 3 0)
					    ((mlist simp) -2800 7 3 3 2 1) ((mlist simp) -1680 7 3 2 2 2)
					    ((mlist simp) 420 6 6 4 0 0) ((mlist simp) -1344 6 6 3 1 0)
					    ((mlist simp) 1876 6 6 2 2 0) ((mlist simp) 280 6 6 2 1 1)
					    ((mlist simp) -560 6 5 5 0 0) ((mlist simp) 1960 6 5 4 1 0)
					    ((mlist simp) -3248 6 5 3 2 0) ((mlist simp) 56 6 5 3 1 1)
					    ((mlist simp) -1848 6 5 2 2 1) ((mlist simp) 2240 6 4 4 2 0)
					    ((mlist simp) 560 6 4 4 1 1) ((mlist simp) -2520 6 4 3 3 0)
					    ((mlist simp) 1120 6 4 3 2 1) ((mlist simp) -2940 6 4 2 2 2)
					    ((mlist simp) -1680 6 3 3 3 1) ((mlist simp) 4480 6 3 3 2 2)
					    ((mlist simp) 1680 5 5 5 1 0) ((mlist simp) -2520 5 5 4 2 0)
					    ((mlist simp) -3360 5 5 4 1 1) ((mlist simp) 2744 5 5 3 3 0)
					    ((mlist simp) 1848 5 5 3 2 1) ((mlist simp) 5544 5 5 2 2 2)
					    ((mlist simp) 2240 5 4 4 3 0) ((mlist simp) -3360 5 4 4 2 1)
					    ((mlist simp) 1400 5 4 3 3 1) ((mlist simp) -3360 5 4 3 2 2)
					    ((mlist simp) -1120 5 3 3 3 2) ((mlist simp) -4550 4 4 4 4 0)
					    ((mlist simp) -1400 4 4 4 3 1) ((mlist simp) 2100 4 4 4 2 2)
					    ((mlist simp) -1400 4 4 3 3 2))
					   ((mlist simp) ((mlist simp) 1 8 8 0 0 0)
					    ((mlist simp) 8 8 7 1 0 0) ((mlist simp) 28 8 6 2 0 0)
					    ((mlist simp) -56 8 6 1 1 0) ((mlist simp) 56 8 5 3 0 0)
					    ((mlist simp) -168 8 5 2 1 0) ((mlist simp) 336 8 5 1 1 1)
					    ((mlist simp) 70 8 4 4 0 0) ((mlist simp) -280 8 4 3 1 0)
					    ((mlist simp) 420 8 4 2 2 0) ((mlist simp) 840 8 4 2 1 1)
					    ((mlist simp) 560 8 3 3 2 0) ((mlist simp) 1120 8 3 3 1 1)
					    ((mlist simp) -1680 8 3 2 2 1) ((mlist simp) 2520 8 2 2 2 2)
					    ((mlist simp) -56 7 7 2 0 0) ((mlist simp) 104 7 7 1 1 0)
					    ((mlist simp) -168 7 6 3 0 0) ((mlist simp) 448 7 6 2 1 0)
					    ((mlist simp) -280 7 6 1 1 1) ((mlist simp) -280 7 5 4 0 0)
					    ((mlist simp) 952 7 5 3 1 0) ((mlist simp) -1344 7 5 2 2 0)
					    ((mlist simp) -1512 7 5 2 1 1) ((mlist simp) 1120 7 4 4 1 0)
					    ((mlist simp) -1960 7 4 3 2 0) ((mlist simp) -3080 7 4 3 1 1)
					    ((mlist simp) 3360 7 4 2 2 1) ((mlist simp) 1680 7 3 3 3 0)
					    ((mlist simp) 3920 7 3 3 2 1) ((mlist simp) -1680 7 3 2 2 2)
					    ((mlist simp) 420 6 6 4 0 0) ((mlist simp) -1344 6 6 3 1 0)
					    ((mlist simp) 1876 6 6 2 2 0) ((mlist simp) 280 6 6 2 1 1)
					    ((mlist simp) 560 6 5 5 0 0) ((mlist simp) -1960 6 5 4 1 0)
					    ((mlist simp) 3248 6 5 3 2 0) ((mlist simp) 2744 6 5 3 1 1)
					    ((mlist simp) -1848 6 5 2 2 1) ((mlist simp) 2240 6 4 4 2 0)
					    ((mlist simp) 4480 6 4 4 1 1) ((mlist simp) -2520 6 4 3 3 0)
					    ((mlist simp) -3920 6 4 3 2 1) ((mlist simp) -2940 6 4 2 2 2)
					    ((mlist simp) -1680 6 3 3 3 1) ((mlist simp) -1120 6 3 3 2 2)
					    ((mlist simp) 1680 5 5 5 1 0) ((mlist simp) -2520 5 5 4 2 0)
					    ((mlist simp) -3360 5 5 4 1 1) ((mlist simp) 2744 5 5 3 3 0)
					    ((mlist simp) 1848 5 5 3 2 1) ((mlist simp) 5544 5 5 2 2 2)
					    ((mlist simp) -2240 5 4 4 3 0) ((mlist simp) 1680 5 4 4 2 1)
					    ((mlist simp) 1400 5 4 3 3 1) ((mlist simp) 1680 5 4 3 2 2)
					    ((mlist simp) -1120 5 3 3 3 2) ((mlist simp) -4550 4 4 4 4 0)
					    ((mlist simp) -1400 4 4 4 3 1) ((mlist simp) 2100 4 4 4 2 2)
					    ((mlist simp) -1400 4 4 3 3 2))))
					 (((5) (mlist simp)
					   ((mlist simp) ((mlist simp) 1 10 10 0 0 0)
					    ((mlist simp) -10 10 9 1 0 0) ((mlist simp) 45 10 8 2 0 0)
					    ((mlist simp) 90 10 8 1 1 0) ((mlist simp) -120 10 7 3 0 0)
					    ((mlist simp) -360 10 7 2 1 0) ((mlist simp) 720 10 7 1 1 1)
					    ((mlist simp) 210 10 6 4 0 0) ((mlist simp) 840 10 6 3 1 0)
					    ((mlist simp) 1260 10 6 2 2 0) ((mlist simp) -2520 10 6 2 1 1)
					    ((mlist simp) -252 10 5 5 0 0) ((mlist simp) -1260 10 5 4 1 0)
					    ((mlist simp) -2520 10 5 3 2 0) ((mlist simp) 5040 10 5 3 1 1)
					    ((mlist simp) 7560 10 5 2 2 1) ((mlist simp) 3150 10 4 4 2 0)
					    ((mlist simp) -6300 10 4 4 1 1) ((mlist simp) 4200 10 4 3 3 0)
					    ((mlist simp) -12600 10 4 3 2 1)
					    ((mlist simp) 18900 10 4 2 2 2)
					    ((mlist simp) 16800 10 3 3 3 1)
					    ((mlist simp) -25200 10 3 3 2 2) ((mlist simp) -90 9 9 2 0 0)
					    ((mlist simp) 10 9 9 1 1 0) ((mlist simp) 360 9 8 3 0 0)
					    ((mlist simp) 270 9 8 2 1 0) ((mlist simp) -630 9 8 1 1 1)
					    ((mlist simp) -840 9 7 4 0 0) ((mlist simp) -1320 9 7 3 1 0)
					    ((mlist simp) 720 9 7 2 2 0) ((mlist simp) 3960 9 7 2 1 1)
					    ((mlist simp) 1260 9 6 5 0 0) ((mlist simp) 2940 9 6 4 1 0)
					    ((mlist simp) -10920 9 6 3 1 1) ((mlist simp) -2520 9 6 2 2 1)
					    ((mlist simp) -3780 9 5 5 1 0) ((mlist simp) -1260 9 5 4 2 0)
					    ((mlist simp) 16380 9 5 4 1 1) ((mlist simp) 7560 9 5 3 3 0)
					    ((mlist simp) 7560 9 5 3 2 1) ((mlist simp) -22680 9 5 2 2 2)
					    ((mlist simp) -8400 9 4 4 3 0) ((mlist simp) -6300 9 4 4 2 1)
					    ((mlist simp) 21000 9 4 3 3 1) ((mlist simp) 25200 9 4 3 2 2)
					    ((mlist simp) 25200 9 3 3 3 2) ((mlist simp) 1260 8 8 4 0 0)
					    ((mlist simp) -720 8 8 3 1 0) ((mlist simp) -2475 8 8 2 2 0)
					    ((mlist simp) 630 8 8 2 1 1) ((mlist simp) -2520 8 7 5 0 0)
					    ((mlist simp) 7200 8 7 3 2 0) ((mlist simp) 3240 8 7 3 1 1)
					    ((mlist simp) -14760 8 7 2 2 1) ((mlist simp) 3150 8 6 6 0 0)
					    ((mlist simp) 1260 8 6 5 1 0) ((mlist simp) -11970 8 6 4 2 0)
					    ((mlist simp) -8820 8 6 4 1 1) ((mlist simp) -10080 8 6 3 3 0)
					    ((mlist simp) 27720 8 6 3 2 1) ((mlist simp) -20160 8 6 2 2 2)
					    ((mlist simp) 13860 8 5 5 2 0) ((mlist simp) 6300 8 5 5 1 1)
					    ((mlist simp) 17640 8 5 4 3 0) ((mlist simp) -39060 8 5 4 2 1)
					    ((mlist simp) -47880 8 5 3 3 1) ((mlist simp) 32760 8 5 3 2 2)
					    ((mlist simp) 6300 8 4 4 4 0) ((mlist simp) 50400 8 4 4 3 1)
					    ((mlist simp) -59850 8 4 4 2 2)
					    ((mlist simp) -75600 8 4 3 3 2)
					    ((mlist simp) -75600 8 3 3 3 3) ((mlist simp) -4200 7 7 6 0 0)
					    ((mlist simp) 7560 7 7 5 1 0) ((mlist simp) 10080 7 7 4 2 0)
					    ((mlist simp) -17640 7 7 4 1 1)
					    ((mlist simp) -15000 7 7 3 3 0)
					    ((mlist simp) -35640 7 7 3 2 1) ((mlist simp) 52200 7 7 2 2 2)
					    ((mlist simp) -8400 7 6 6 1 0) ((mlist simp) -17640 7 6 5 2 0)
					    ((mlist simp) 22680 7 6 5 1 1) ((mlist simp) 19320 7 6 4 3 0)
					    ((mlist simp) 55440 7 6 4 2 1) ((mlist simp) -9240 7 6 3 3 1)
					    ((mlist simp) -83160 7 6 3 2 2)
					    ((mlist simp) -20160 7 5 5 3 0)
					    ((mlist simp) -50400 7 5 5 2 1)
					    ((mlist simp) -45360 7 5 4 4 0) ((mlist simp) 25200 7 5 4 3 1)
					    ((mlist simp) 78120 7 5 4 2 2) ((mlist simp) 37800 7 5 3 3 2)
					    ((mlist simp) -75600 7 4 4 4 1) ((mlist simp) 25200 7 4 4 3 2)
					    ((mlist simp) 37800 7 4 3 3 3) ((mlist simp) 6300 6 6 6 2 0)
					    ((mlist simp) 46200 6 6 6 1 1) ((mlist simp) 45360 6 6 5 3 0)
					    ((mlist simp) 2520 6 6 5 2 1) ((mlist simp) -18690 6 6 4 4 0)
					    ((mlist simp) -81480 6 6 4 3 1)
					    ((mlist simp) -42840 6 6 4 2 2) ((mlist simp) 47880 6 6 3 3 2)
					    ((mlist simp) 16380 6 5 5 4 0) ((mlist simp) 75600 6 5 5 3 1)
					    ((mlist simp) -27720 6 5 5 2 2) ((mlist simp) 13860 6 5 4 4 1)
					    ((mlist simp) -60480 6 5 4 3 2) ((mlist simp) -2520 6 5 3 3 3)
					    ((mlist simp) 22050 6 4 4 4 2) ((mlist simp) -37800 6 4 4 3 3)
					    ((mlist simp) -12348 5 5 5 5 0)
					    ((mlist simp) -36540 5 5 5 4 1) ((mlist simp) 27720 5 5 5 3 2)
					    ((mlist simp) 1260 5 5 4 4 2) ((mlist simp) -17640 5 5 4 3 3)
					    ((mlist simp) 12600 5 4 4 4 3)
					    ((mlist simp) -63000 4 4 4 4 4))
					   ((mlist simp) ((mlist simp) 1 10 10 0 0 0)
					    ((mlist simp) 10 10 9 1 0 0) ((mlist simp) 45 10 8 2 0 0)
					    ((mlist simp) -90 10 8 1 1 0) ((mlist simp) 120 10 7 3 0 0)
					    ((mlist simp) -360 10 7 2 1 0) ((mlist simp) 720 10 7 1 1 1)
					    ((mlist simp) 210 10 6 4 0 0) ((mlist simp) -840 10 6 3 1 0)
					    ((mlist simp) 1260 10 6 2 2 0) ((mlist simp) 2520 10 6 2 1 1)
					    ((mlist simp) 252 10 5 5 0 0) ((mlist simp) -1260 10 5 4 1 0)
					    ((mlist simp) 2520 10 5 3 2 0) ((mlist simp) 5040 10 5 3 1 1)
					    ((mlist simp) -7560 10 5 2 2 1) ((mlist simp) 3150 10 4 4 2 0)
					    ((mlist simp) 6300 10 4 4 1 1) ((mlist simp) -4200 10 4 3 3 0)
					    ((mlist simp) -12600 10 4 3 2 1)
					    ((mlist simp) 18900 10 4 2 2 2)
					    ((mlist simp) 16800 10 3 3 3 1)
					    ((mlist simp) 25200 10 3 3 2 2) ((mlist simp) -90 9 9 2 0 0)
					    ((mlist simp) 10 9 9 1 1 0) ((mlist simp) -360 9 8 3 0 0)
					    ((mlist simp) 450 9 8 2 1 0) ((mlist simp) -630 9 8 1 1 1)
					    ((mlist simp) -840 9 7 4 0 0) ((mlist simp) 2040 9 7 3 1 0)
					    ((mlist simp) -720 9 7 2 2 0) ((mlist simp) -4680 9 7 2 1 1)
					    ((mlist simp) -1260 9 6 5 0 0) ((mlist simp) 4620 9 6 4 1 0)
					    ((mlist simp) -5040 9 6 3 2 0) ((mlist simp) -14280 9 6 3 1 1)
					    ((mlist simp) 7560 9 6 2 2 1) ((mlist simp) 6300 9 5 5 1 0)
					    ((mlist simp) -11340 9 5 4 2 0)
					    ((mlist simp) -23940 9 5 4 1 1) ((mlist simp) 7560 9 5 3 3 0)
					    ((mlist simp) 27720 9 5 3 2 1) ((mlist simp) -22680 9 5 2 2 2)
					    ((mlist simp) 16800 9 4 4 3 0) ((mlist simp) 44100 9 4 4 2 1)
					    ((mlist simp) -29400 9 4 3 3 1)
					    ((mlist simp) -50400 9 4 3 2 2) ((mlist simp) 25200 9 3 3 3 2)
					    ((mlist simp) 1260 8 8 4 0 0) ((mlist simp) -720 8 8 3 1 0)
					    ((mlist simp) -2475 8 8 2 2 0) ((mlist simp) 630 8 8 2 1 1)
					    ((mlist simp) 2520 8 7 5 0 0) ((mlist simp) -5040 8 7 4 1 0)
					    ((mlist simp) -2160 8 7 3 2 0) ((mlist simp) 11880 8 7 3 1 1)
					    ((mlist simp) 11160 8 7 2 2 1) ((mlist simp) 3150 8 6 6 0 0)
					    ((mlist simp) -11340 8 6 5 1 0) ((mlist simp) 8190 8 6 4 2 0)
					    ((mlist simp) 34020 8 6 4 1 1) ((mlist simp) 10080 8 6 3 3 0)
					    ((mlist simp) -2520 8 6 3 2 1) ((mlist simp) -20160 8 6 2 2 2)
					    ((mlist simp) 23940 8 5 5 2 0) ((mlist simp) 46620 8 5 5 1 1)
					    ((mlist simp) -7560 8 5 4 3 0) ((mlist simp) -44100 8 5 4 2 1)
					    ((mlist simp) -27720 8 5 3 3 1) ((mlist simp) 12600 8 5 3 2 2)
					    ((mlist simp) 6300 8 4 4 4 0) ((mlist simp) 25200 8 4 4 3 1)
					    ((mlist simp) 40950 8 4 4 2 2) ((mlist simp) 50400 8 4 3 3 2)
					    ((mlist simp) -75600 8 3 3 3 3) ((mlist simp) -4200 7 7 6 0 0)
					    ((mlist simp) 7560 7 7 5 1 0) ((mlist simp) 10080 7 7 4 2 0)
					    ((mlist simp) -17640 7 7 4 1 1)
					    ((mlist simp) -15000 7 7 3 3 0)
					    ((mlist simp) -35640 7 7 3 2 1) ((mlist simp) 52200 7 7 2 2 2)
					    ((mlist simp) 16800 7 6 6 1 0) ((mlist simp) -7560 7 6 5 2 0)
					    ((mlist simp) -47880 7 6 5 1 1)
					    ((mlist simp) -29400 7 6 4 3 0)
					    ((mlist simp) -10080 7 6 4 2 1) ((mlist simp) 64680 7 6 3 3 1)
					    ((mlist simp) 57960 7 6 3 2 2) ((mlist simp) 50400 7 5 5 2 1)
					    ((mlist simp) 45360 7 5 4 4 0) ((mlist simp) 55440 7 5 4 3 1)
					    ((mlist simp) -2520 7 5 4 2 2) ((mlist simp) -83160 7 5 3 3 2)
					    ((mlist simp) -75600 7 4 4 4 1)
					    ((mlist simp) -50400 7 4 4 3 2) ((mlist simp) 37800 7 4 3 3 3)
					    ((mlist simp) 6300 6 6 6 2 0) ((mlist simp) 46200 6 6 6 1 1)
					    ((mlist simp) 45360 6 6 5 3 0) ((mlist simp) 2520 6 6 5 2 1)
					    ((mlist simp) -18690 6 6 4 4 0)
					    ((mlist simp) -81480 6 6 4 3 1)
					    ((mlist simp) -42840 6 6 4 2 2) ((mlist simp) 47880 6 6 3 3 2)
					    ((mlist simp) -66780 6 5 5 4 0)
					    ((mlist simp) -35280 6 5 5 3 1) ((mlist simp) 27720 6 5 5 2 2)
					    ((mlist simp) 46620 6 5 4 4 1) ((mlist simp) 45360 6 5 4 3 2)
					    ((mlist simp) -2520 6 5 3 3 3) ((mlist simp) 22050 6 4 4 4 2)
					    ((mlist simp) 12600 6 4 4 3 3) ((mlist simp) -12348 5 5 5 5 0)
					    ((mlist simp) -36540 5 5 5 4 1) ((mlist simp) 27720 5 5 5 3 2)
					    ((mlist simp) 1260 5 5 4 4 2) ((mlist simp) -17640 5 5 4 3 3)
					    ((mlist simp) 12600 5 4 4 4 3)
					    ((mlist simp) -63000 4 4 4 4 4))
					   ((mlist simp) ((mlist simp) 1 10 10 0 0 0)
					    ((mlist simp) -10 10 9 1 0 0) ((mlist simp) 45 10 8 2 0 0)
					    ((mlist simp) -90 10 8 1 1 0) ((mlist simp) -120 10 7 3 0 0)
					    ((mlist simp) 360 10 7 2 1 0) ((mlist simp) 720 10 7 1 1 1)
					    ((mlist simp) 210 10 6 4 0 0) ((mlist simp) -840 10 6 3 1 0)
					    ((mlist simp) 1260 10 6 2 2 0) ((mlist simp) -2520 10 6 2 1 1)
					    ((mlist simp) -252 10 5 5 0 0) ((mlist simp) 1260 10 5 4 1 0)
					    ((mlist simp) -2520 10 5 3 2 0) ((mlist simp) 5040 10 5 3 1 1)
					    ((mlist simp) -7560 10 5 2 2 1) ((mlist simp) 3150 10 4 4 2 0)
					    ((mlist simp) -6300 10 4 4 1 1)
					    ((mlist simp) -4200 10 4 3 3 0)
					    ((mlist simp) 12600 10 4 3 2 1)
					    ((mlist simp) 18900 10 4 2 2 2)
					    ((mlist simp) 16800 10 3 3 3 1)
					    ((mlist simp) -25200 10 3 3 2 2) ((mlist simp) 90 9 9 2 0 0)
					    ((mlist simp) 10 9 9 1 1 0) ((mlist simp) -360 9 8 3 0 0)
					    ((mlist simp) 270 9 8 2 1 0) ((mlist simp) -630 9 8 1 1 1)
					    ((mlist simp) 840 9 7 4 0 0) ((mlist simp) -1320 9 7 3 1 0)
					    ((mlist simp) -720 9 7 2 2 0) ((mlist simp) -360 9 7 2 1 1)
					    ((mlist simp) -1260 9 6 5 0 0) ((mlist simp) 2940 9 6 4 1 0)
					    ((mlist simp) 5880 9 6 3 1 1) ((mlist simp) 7560 9 6 2 2 1)
					    ((mlist simp) -3780 9 5 5 1 0) ((mlist simp) 1260 9 5 4 2 0)
					    ((mlist simp) -13860 9 5 4 1 1) ((mlist simp) 7560 9 5 3 3 0)
					    ((mlist simp) -2520 9 5 3 2 1) ((mlist simp) -22680 9 5 2 2 2)
					    ((mlist simp) -8400 9 4 4 3 0) ((mlist simp) -6300 9 4 4 2 1)
					    ((mlist simp) -29400 9 4 3 3 1) ((mlist simp) 25200 9 3 3 3 2)
					    ((mlist simp) 1260 8 8 4 0 0) ((mlist simp) 720 8 8 3 1 0)
					    ((mlist simp) -2475 8 8 2 2 0) ((mlist simp) 4410 8 8 2 1 1)
					    ((mlist simp) -2520 8 7 5 0 0) ((mlist simp) 7200 8 7 3 2 0)
					    ((mlist simp) -8280 8 7 3 1 1) ((mlist simp) 11160 8 7 2 2 1)
					    ((mlist simp) 3150 8 6 6 0 0) ((mlist simp) -1260 8 6 5 1 0)
					    ((mlist simp) -11970 8 6 4 2 0) ((mlist simp) 3780 8 6 4 1 1)
					    ((mlist simp) 10080 8 6 3 3 0) ((mlist simp) -32760 8 6 3 2 1)
					    ((mlist simp) -20160 8 6 2 2 2) ((mlist simp) 13860 8 5 5 2 0)
					    ((mlist simp) 6300 8 5 5 1 1) ((mlist simp) -17640 8 5 4 3 0)
					    ((mlist simp) 44100 8 5 4 2 1) ((mlist simp) -27720 8 5 3 3 1)
					    ((mlist simp) 63000 8 5 3 2 2) ((mlist simp) 6300 8 4 4 4 0)
					    ((mlist simp) 50400 8 4 4 3 1) ((mlist simp) -59850 8 4 4 2 2)
					    ((mlist simp) 50400 8 4 3 3 2) ((mlist simp) -75600 8 3 3 3 3)
					    ((mlist simp) 4200 7 7 6 0 0) ((mlist simp) 7560 7 7 5 1 0)
					    ((mlist simp) -10080 7 7 4 2 0) ((mlist simp) 22680 7 7 4 1 1)
					    ((mlist simp) -15000 7 7 3 3 0) ((mlist simp) 10440 7 7 3 2 1)
					    ((mlist simp) 52200 7 7 2 2 2) ((mlist simp) -8400 7 6 6 1 0)
					    ((mlist simp) 17640 7 6 5 2 0) ((mlist simp) -27720 7 6 5 1 1)
					    ((mlist simp) 19320 7 6 4 3 0) ((mlist simp) 20160 7 6 4 2 1)
					    ((mlist simp) 64680 7 6 3 3 1) ((mlist simp) -42840 7 6 3 2 2)
					    ((mlist simp) -20160 7 5 5 3 0)
					    ((mlist simp) -50400 7 5 5 2 1) ((mlist simp) 45360 7 5 4 4 0)
					    ((mlist simp) -55440 7 5 4 3 1)
					    ((mlist simp) -27720 7 5 4 2 2)
					    ((mlist simp) -83160 7 5 3 3 2)
					    ((mlist simp) -75600 7 4 4 4 1) ((mlist simp) 25200 7 4 4 3 2)
					    ((mlist simp) 37800 7 4 3 3 3) ((mlist simp) 6300 6 6 6 2 0)
					    ((mlist simp) 46200 6 6 6 1 1) ((mlist simp) -45360 6 6 5 3 0)
					    ((mlist simp) 27720 6 6 5 2 1) ((mlist simp) -18690 6 6 4 4 0)
					    ((mlist simp) -39480 6 6 4 3 1) ((mlist simp) 78120 6 6 4 2 2)
					    ((mlist simp) 47880 6 6 3 3 2) ((mlist simp) 16380 6 5 5 4 0)
					    ((mlist simp) 75600 6 5 5 3 1) ((mlist simp) -27720 6 5 5 2 2)
					    ((mlist simp) 46620 6 5 4 4 1) ((mlist simp) 30240 6 5 4 3 2)
					    ((mlist simp) -2520 6 5 3 3 3) ((mlist simp) 22050 6 4 4 4 2)
					    ((mlist simp) -37800 6 4 4 3 3)
					    ((mlist simp) -12348 5 5 5 5 0)
					    ((mlist simp) -36540 5 5 5 4 1) ((mlist simp) 27720 5 5 5 3 2)
					    ((mlist simp) 1260 5 5 4 4 2) ((mlist simp) 42840 5 5 4 3 3)
					    ((mlist simp) 12600 5 4 4 4 3)
					    ((mlist simp) -63000 4 4 4 4 4))
					   ((mlist simp) ((mlist simp) 1 10 10 0 0 0)
					    ((mlist simp) -10 10 9 1 0 0) ((mlist simp) 45 10 8 2 0 0)
					    ((mlist simp) 90 10 8 1 1 0) ((mlist simp) -120 10 7 3 0 0)
					    ((mlist simp) -360 10 7 2 1 0) ((mlist simp) 720 10 7 1 1 1)
					    ((mlist simp) 210 10 6 4 0 0) ((mlist simp) 840 10 6 3 1 0)
					    ((mlist simp) 1260 10 6 2 2 0) ((mlist simp) -2520 10 6 2 1 1)
					    ((mlist simp) -252 10 5 5 0 0) ((mlist simp) -1260 10 5 4 1 0)
					    ((mlist simp) -2520 10 5 3 2 0) ((mlist simp) 5040 10 5 3 1 1)
					    ((mlist simp) 7560 10 5 2 2 1) ((mlist simp) 3150 10 4 4 2 0)
					    ((mlist simp) -6300 10 4 4 1 1) ((mlist simp) 4200 10 4 3 3 0)
					    ((mlist simp) -12600 10 4 3 2 1)
					    ((mlist simp) 18900 10 4 2 2 2)
					    ((mlist simp) 16800 10 3 3 3 1)
					    ((mlist simp) -25200 10 3 3 2 2) ((mlist simp) 90 9 9 2 0 0)
					    ((mlist simp) 10 9 9 1 1 0) ((mlist simp) -360 9 8 3 0 0)
					    ((mlist simp) -450 9 8 2 1 0) ((mlist simp) -630 9 8 1 1 1)
					    ((mlist simp) 840 9 7 4 0 0) ((mlist simp) 2040 9 7 3 1 0)
					    ((mlist simp) 720 9 7 2 2 0) ((mlist simp) -360 9 7 2 1 1)
					    ((mlist simp) -1260 9 6 5 0 0) ((mlist simp) -4620 9 6 4 1 0)
					    ((mlist simp) -5040 9 6 3 2 0) ((mlist simp) 5880 9 6 3 1 1)
					    ((mlist simp) -2520 9 6 2 2 1) ((mlist simp) 6300 9 5 5 1 0)
					    ((mlist simp) 11340 9 5 4 2 0) ((mlist simp) -13860 9 5 4 1 1)
					    ((mlist simp) 7560 9 5 3 3 0) ((mlist simp) -12600 9 5 3 2 1)
					    ((mlist simp) -22680 9 5 2 2 2)
					    ((mlist simp) -16800 9 4 4 3 0) ((mlist simp) 31500 9 4 4 2 1)
					    ((mlist simp) 21000 9 4 3 3 1) ((mlist simp) 25200 9 3 3 3 2)
					    ((mlist simp) 1260 8 8 4 0 0) ((mlist simp) 720 8 8 3 1 0)
					    ((mlist simp) -2475 8 8 2 2 0) ((mlist simp) 4410 8 8 2 1 1)
					    ((mlist simp) -2520 8 7 5 0 0) ((mlist simp) -5040 8 7 4 1 0)
					    ((mlist simp) 2160 8 7 3 2 0) ((mlist simp) -8280 8 7 3 1 1)
					    ((mlist simp) -14760 8 7 2 2 1) ((mlist simp) 3150 8 6 6 0 0)
					    ((mlist simp) 11340 8 6 5 1 0) ((mlist simp) 8190 8 6 4 2 0)
					    ((mlist simp) 3780 8 6 4 1 1) ((mlist simp) -10080 8 6 3 3 0)
					    ((mlist simp) 27720 8 6 3 2 1) ((mlist simp) -20160 8 6 2 2 2)
					    ((mlist simp) -23940 8 5 5 2 0) ((mlist simp) 6300 8 5 5 1 1)
					    ((mlist simp) -7560 8 5 4 3 0) ((mlist simp) -8820 8 5 4 2 1)
					    ((mlist simp) -47880 8 5 3 3 1) ((mlist simp) 63000 8 5 3 2 2)
					    ((mlist simp) 6300 8 4 4 4 0) ((mlist simp) -59850 8 4 4 2 2)
					    ((mlist simp) -75600 8 4 3 3 2)
					    ((mlist simp) -75600 8 3 3 3 3) ((mlist simp) 4200 7 7 6 0 0)
					    ((mlist simp) 7560 7 7 5 1 0) ((mlist simp) -10080 7 7 4 2 0)
					    ((mlist simp) 22680 7 7 4 1 1) ((mlist simp) -15000 7 7 3 3 0)
					    ((mlist simp) 10440 7 7 3 2 1) ((mlist simp) 52200 7 7 2 2 2)
					    ((mlist simp) -16800 7 6 6 1 0) ((mlist simp) -7560 7 6 5 2 0)
					    ((mlist simp) -27720 7 6 5 1 1) ((mlist simp) 29400 7 6 4 3 0)
					    ((mlist simp) -45360 7 6 4 2 1) ((mlist simp) -9240 7 6 3 3 1)
					    ((mlist simp) -42840 7 6 3 2 2) ((mlist simp) 40320 7 5 5 2 1)
					    ((mlist simp) -45360 7 5 4 4 0) ((mlist simp) 65520 7 5 4 3 1)
					    ((mlist simp) -27720 7 5 4 2 2) ((mlist simp) 37800 7 5 3 3 2)
					    ((mlist simp) -75600 7 4 4 4 1) ((mlist simp) 50400 7 4 4 3 2)
					    ((mlist simp) 37800 7 4 3 3 3) ((mlist simp) 6300 6 6 6 2 0)
					    ((mlist simp) 46200 6 6 6 1 1) ((mlist simp) -45360 6 6 5 3 0)
					    ((mlist simp) 27720 6 6 5 2 1) ((mlist simp) -18690 6 6 4 4 0)
					    ((mlist simp) -39480 6 6 4 3 1) ((mlist simp) 78120 6 6 4 2 2)
					    ((mlist simp) 47880 6 6 3 3 2) ((mlist simp) 66780 6 5 5 4 0)
					    ((mlist simp) -25200 6 5 5 3 1)
					    ((mlist simp) -27720 6 5 5 2 2) ((mlist simp) 13860 6 5 4 4 1)
					    ((mlist simp) -75600 6 5 4 3 2) ((mlist simp) -2520 6 5 3 3 3)
					    ((mlist simp) 22050 6 4 4 4 2) ((mlist simp) -37800 6 4 4 3 3)
					    ((mlist simp) -12348 5 5 5 5 0)
					    ((mlist simp) -36540 5 5 5 4 1) ((mlist simp) 27720 5 5 5 3 2)
					    ((mlist simp) 1260 5 5 4 4 2) ((mlist simp) 42840 5 5 4 3 3)
					    ((mlist simp) 12600 5 4 4 4 3)
					    ((mlist simp) -63000 4 4 4 4 4))
					   ((mlist simp) ((mlist simp) 1 10 10 0 0 0)
					    ((mlist simp) -10 10 9 1 0 0) ((mlist simp) 45 10 8 2 0 0)
					    ((mlist simp) -90 10 8 1 1 0) ((mlist simp) -120 10 7 3 0 0)
					    ((mlist simp) 360 10 7 2 1 0) ((mlist simp) 720 10 7 1 1 1)
					    ((mlist simp) 210 10 6 4 0 0) ((mlist simp) -840 10 6 3 1 0)
					    ((mlist simp) 1260 10 6 2 2 0) ((mlist simp) -2520 10 6 2 1 1)
					    ((mlist simp) -252 10 5 5 0 0) ((mlist simp) 1260 10 5 4 1 0)
					    ((mlist simp) -2520 10 5 3 2 0) ((mlist simp) 5040 10 5 3 1 1)
					    ((mlist simp) -7560 10 5 2 2 1) ((mlist simp) 3150 10 4 4 2 0)
					    ((mlist simp) -6300 10 4 4 1 1)
					    ((mlist simp) -4200 10 4 3 3 0)
					    ((mlist simp) 12600 10 4 3 2 1)
					    ((mlist simp) 18900 10 4 2 2 2)
					    ((mlist simp) 16800 10 3 3 3 1)
					    ((mlist simp) -25200 10 3 3 2 2) ((mlist simp) -90 9 9 2 0 0)
					    ((mlist simp) 170 9 9 1 1 0) ((mlist simp) 360 9 8 3 0 0)
					    ((mlist simp) -990 9 8 2 1 0) ((mlist simp) -630 9 8 1 1 1)
					    ((mlist simp) -840 9 7 4 0 0) ((mlist simp) 3000 9 7 3 1 0)
					    ((mlist simp) -4320 9 7 2 2 0) ((mlist simp) 3960 9 7 2 1 1)
					    ((mlist simp) 1260 9 6 5 0 0) ((mlist simp) -5460 9 6 4 1 0)
					    ((mlist simp) 10080 9 6 3 2 0) ((mlist simp) -10920 9 6 3 1 1)
					    ((mlist simp) 17640 9 6 2 2 1) ((mlist simp) 6300 9 5 5 1 0)
					    ((mlist simp) -13860 9 5 4 2 0) ((mlist simp) 16380 9 5 4 1 1)
					    ((mlist simp) 17640 9 5 3 3 0) ((mlist simp) -32760 9 5 3 2 1)
					    ((mlist simp) -22680 9 5 2 2 2)
					    ((mlist simp) -16800 9 4 4 3 0) ((mlist simp) 31500 9 4 4 2 1)
					    ((mlist simp) -46200 9 4 3 3 1) ((mlist simp) 25200 9 4 3 2 2)
					    ((mlist simp) 25200 9 3 3 3 2) ((mlist simp) 1260 8 8 4 0 0)
					    ((mlist simp) -4320 8 8 3 1 0) ((mlist simp) 6165 8 8 2 2 0)
					    ((mlist simp) 630 8 8 2 1 1) ((mlist simp) -2520 8 7 5 0 0)
					    ((mlist simp) 10080 8 7 4 1 0) ((mlist simp) -18000 8 7 3 2 0)
					    ((mlist simp) 3240 8 7 3 1 1) ((mlist simp) -10440 8 7 2 2 1)
					    ((mlist simp) 3150 8 6 6 0 0) ((mlist simp) -13860 8 6 5 1 0)
					    ((mlist simp) 28350 8 6 4 2 0) ((mlist simp) -8820 8 6 4 1 1)
					    ((mlist simp) -35280 8 6 3 3 0) ((mlist simp) 27720 8 6 3 2 1)
					    ((mlist simp) -20160 8 6 2 2 2)
					    ((mlist simp) -23940 8 5 5 2 0) ((mlist simp) 6300 8 5 5 1 1)
					    ((mlist simp) 32760 8 5 4 3 0) ((mlist simp) -23940 8 5 4 2 1)
					    ((mlist simp) 52920 8 5 3 3 1) ((mlist simp) 32760 8 5 3 2 2)
					    ((mlist simp) 6300 8 4 4 4 0) ((mlist simp) -59850 8 4 4 2 2)
					    ((mlist simp) 25200 8 4 3 3 2) ((mlist simp) -75600 8 3 3 3 3)
					    ((mlist simp) -4200 7 7 6 0 0) ((mlist simp) 17640 7 7 5 1 0)
					    ((mlist simp) -35280 7 7 4 2 0)
					    ((mlist simp) -17640 7 7 4 1 1) ((mlist simp) 43560 7 7 3 3 0)
					    ((mlist simp) 10440 7 7 3 2 1) ((mlist simp) 52200 7 7 2 2 2)
					    ((mlist simp) -16800 7 6 6 1 0) ((mlist simp) 32760 7 6 5 2 0)
					    ((mlist simp) 22680 7 6 5 1 1) ((mlist simp) -42840 7 6 4 3 0)
					    ((mlist simp) -15120 7 6 4 2 1)
					    ((mlist simp) -22680 7 6 3 3 1)
					    ((mlist simp) -83160 7 6 3 2 2) ((mlist simp) 40320 7 5 5 2 1)
					    ((mlist simp) 5040 7 5 4 4 0) ((mlist simp) -25200 7 5 4 3 1)
					    ((mlist simp) 78120 7 5 4 2 2) ((mlist simp) -63000 7 5 3 3 2)
					    ((mlist simp) -75600 7 4 4 4 1) ((mlist simp) 50400 7 4 4 3 2)
					    ((mlist simp) 37800 7 4 3 3 3) ((mlist simp) 6300 6 6 6 2 0)
					    ((mlist simp) 46200 6 6 6 1 1) ((mlist simp) 5040 6 6 5 3 0)
					    ((mlist simp) -52920 6 6 5 2 1)
					    ((mlist simp) -11970 6 6 4 4 0) ((mlist simp) 22680 6 6 4 3 1)
					    ((mlist simp) -42840 6 6 4 2 2) ((mlist simp) 68040 6 6 3 3 2)
					    ((mlist simp) 66780 6 5 5 4 0) ((mlist simp) -25200 6 5 5 3 1)
					    ((mlist simp) -27720 6 5 5 2 2) ((mlist simp) 36540 6 5 4 4 1)
					    ((mlist simp) 10080 6 5 4 3 2) ((mlist simp) -2520 6 5 3 3 3)
					    ((mlist simp) 22050 6 4 4 4 2) ((mlist simp) -37800 6 4 4 3 3)
					    ((mlist simp) -12348 5 5 5 5 0)
					    ((mlist simp) -36540 5 5 5 4 1) ((mlist simp) 27720 5 5 5 3 2)
					    ((mlist simp) -36540 5 5 4 4 2)
					    ((mlist simp) -17640 5 5 4 3 3) ((mlist simp) 12600 5 4 4 4 3)
					    ((mlist simp) -63000 4 4 4 4 4))
					   ((mlist simp) ((mlist simp) 1 10 10 0 0 0)
					    ((mlist simp) 10 10 9 1 0 0) ((mlist simp) 45 10 8 2 0 0)
					    ((mlist simp) -90 10 8 1 1 0) ((mlist simp) 120 10 7 3 0 0)
					    ((mlist simp) -360 10 7 2 1 0) ((mlist simp) 720 10 7 1 1 1)
					    ((mlist simp) 210 10 6 4 0 0) ((mlist simp) -840 10 6 3 1 0)
					    ((mlist simp) 1260 10 6 2 2 0) ((mlist simp) 2520 10 6 2 1 1)
					    ((mlist simp) 252 10 5 5 0 0) ((mlist simp) -1260 10 5 4 1 0)
					    ((mlist simp) 2520 10 5 3 2 0) ((mlist simp) 5040 10 5 3 1 1)
					    ((mlist simp) -7560 10 5 2 2 1) ((mlist simp) 3150 10 4 4 2 0)
					    ((mlist simp) 6300 10 4 4 1 1) ((mlist simp) -4200 10 4 3 3 0)
					    ((mlist simp) -12600 10 4 3 2 1)
					    ((mlist simp) 18900 10 4 2 2 2)
					    ((mlist simp) 16800 10 3 3 3 1)
					    ((mlist simp) 25200 10 3 3 2 2) ((mlist simp) -90 9 9 2 0 0)
					    ((mlist simp) 170 9 9 1 1 0) ((mlist simp) -360 9 8 3 0 0)
					    ((mlist simp) 990 9 8 2 1 0) ((mlist simp) -630 9 8 1 1 1)
					    ((mlist simp) -840 9 7 4 0 0) ((mlist simp) 3000 9 7 3 1 0)
					    ((mlist simp) -4320 9 7 2 2 0) ((mlist simp) -4680 9 7 2 1 1)
					    ((mlist simp) -1260 9 6 5 0 0) ((mlist simp) 5460 9 6 4 1 0)
					    ((mlist simp) -10080 9 6 3 2 0)
					    ((mlist simp) -14280 9 6 3 1 1) ((mlist simp) 17640 9 6 2 2 1)
					    ((mlist simp) 6300 9 5 5 1 0) ((mlist simp) -13860 9 5 4 2 0)
					    ((mlist simp) -23940 9 5 4 1 1) ((mlist simp) 17640 9 5 3 3 0)
					    ((mlist simp) 37800 9 5 3 2 1) ((mlist simp) -22680 9 5 2 2 2)
					    ((mlist simp) 16800 9 4 4 3 0) ((mlist simp) 44100 9 4 4 2 1)
					    ((mlist simp) -46200 9 4 3 3 1)
					    ((mlist simp) -50400 9 4 3 2 2) ((mlist simp) 25200 9 3 3 3 2)
					    ((mlist simp) 1260 8 8 4 0 0) ((mlist simp) -4320 8 8 3 1 0)
					    ((mlist simp) 6165 8 8 2 2 0) ((mlist simp) 630 8 8 2 1 1)
					    ((mlist simp) 2520 8 7 5 0 0) ((mlist simp) -10080 8 7 4 1 0)
					    ((mlist simp) 18000 8 7 3 2 0) ((mlist simp) 11880 8 7 3 1 1)
					    ((mlist simp) -10440 8 7 2 2 1) ((mlist simp) 3150 8 6 6 0 0)
					    ((mlist simp) -13860 8 6 5 1 0) ((mlist simp) 28350 8 6 4 2 0)
					    ((mlist simp) 34020 8 6 4 1 1) ((mlist simp) -35280 8 6 3 3 0)
					    ((mlist simp) -42840 8 6 3 2 1)
					    ((mlist simp) -20160 8 6 2 2 2) ((mlist simp) 23940 8 5 5 2 0)
					    ((mlist simp) 46620 8 5 5 1 1) ((mlist simp) -32760 8 5 4 3 0)
					    ((mlist simp) -66780 8 5 4 2 1) ((mlist simp) 52920 8 5 3 3 1)
					    ((mlist simp) 12600 8 5 3 2 2) ((mlist simp) 6300 8 4 4 4 0)
					    ((mlist simp) 25200 8 4 4 3 1) ((mlist simp) 40950 8 4 4 2 2)
					    ((mlist simp) 25200 8 4 3 3 2) ((mlist simp) -75600 8 3 3 3 3)
					    ((mlist simp) -4200 7 7 6 0 0) ((mlist simp) 17640 7 7 5 1 0)
					    ((mlist simp) -35280 7 7 4 2 0)
					    ((mlist simp) -17640 7 7 4 1 1) ((mlist simp) 43560 7 7 3 3 0)
					    ((mlist simp) 10440 7 7 3 2 1) ((mlist simp) 52200 7 7 2 2 2)
					    ((mlist simp) 16800 7 6 6 1 0) ((mlist simp) -32760 7 6 5 2 0)
					    ((mlist simp) -47880 7 6 5 1 1) ((mlist simp) 42840 7 6 4 3 0)
					    ((mlist simp) 55440 7 6 4 2 1) ((mlist simp) -22680 7 6 3 3 1)
					    ((mlist simp) 57960 7 6 3 2 2) ((mlist simp) 50400 7 5 5 2 1)
					    ((mlist simp) 5040 7 5 4 4 0) ((mlist simp) -15120 7 5 4 3 1)
					    ((mlist simp) -2520 7 5 4 2 2) ((mlist simp) -63000 7 5 3 3 2)
					    ((mlist simp) -75600 7 4 4 4 1)
					    ((mlist simp) -50400 7 4 4 3 2) ((mlist simp) 37800 7 4 3 3 3)
					    ((mlist simp) 6300 6 6 6 2 0) ((mlist simp) 46200 6 6 6 1 1)
					    ((mlist simp) 5040 6 6 5 3 0) ((mlist simp) -52920 6 6 5 2 1)
					    ((mlist simp) -11970 6 6 4 4 0) ((mlist simp) 22680 6 6 4 3 1)
					    ((mlist simp) -42840 6 6 4 2 2) ((mlist simp) 68040 6 6 3 3 2)
					    ((mlist simp) -66780 6 5 5 4 0)
					    ((mlist simp) -35280 6 5 5 3 1) ((mlist simp) 27720 6 5 5 2 2)
					    ((mlist simp) 36540 6 5 4 4 1) ((mlist simp) -2520 6 5 3 3 3)
					    ((mlist simp) 22050 6 4 4 4 2) ((mlist simp) 12600 6 4 4 3 3)
					    ((mlist simp) -12348 5 5 5 5 0)
					    ((mlist simp) -36540 5 5 5 4 1) ((mlist simp) 27720 5 5 5 3 2)
					    ((mlist simp) -36540 5 5 4 4 2)
					    ((mlist simp) -17640 5 5 4 3 3) ((mlist simp) 12600 5 4 4 4 3)
					    ((mlist simp) -63000 4 4 4 4 4))))
					 nil nil)))
 
(add2lnc '$q $arrays) 
